I understand a little better. is there a citition for a version of
Church Thesis that all algorithm can be written in
On Jun 4, 10:49 am, Bruno Marchal <marc...@ulb.ac.be> wrote:
> Hi Ronald,
> On 02 Jun 2009, at 16:45, ronaldheld wrote:
> > Bruno:
> > Since I program in Fortran, I am uncertain how to interpret things.
> I was alluding to old, and less old, disputes again programmers, about
> which programming language to prefer.
> It is a version of Church Thesis that all algorithm can be written in
> FORTRAN. But this does not mean that it is relevant to define an
> algorithm by a fortran program. I thought this was obvious, and I was
> using that "known" confusion to point on a similar confusion in Set
> Theory, like Langan can be said to perform.
> In Set Theorist, we still find often the error consisting in defining
> a mathematical object by a set. I have done that error in my youth.
> What you can do, indeed, is to *represent* (almost all) mathematical
> objects by sets. Langan seems to make that mistake.
> The point is just that we have to distinguish a mathematical object
> and the representation of that object in some mathematical theory.
> I will have the opportunity to give a precise example in the 7th
> thread later.
> In usual mathematical practice, this mistake is really not important,
> yet, in logic it is more important to take into account that
> distinction, and then in cognitive science it is *very* important.
> Crucial, I would say. The error consisting in identifying
> consciousness and brain state belongs to that family, for example. To
> confuse a person and its body belongs to that family of error too.
> All such error are of the form of the confusion between the Moon and
> the finger which point to the moon, or the confusion between a map and
> the territory.
> I have nothing against the use of FORTRAN. On the contrary I have a
> big respect for that old venerable high level programming language :)
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com
To unsubscribe from this group, send email to
For more options, visit this group at