Re: Cognitive Theoretic Model of the Universe

From: Quentin Anciaux <allcolor.domain.name.hidden>
Date: Fri, 5 Jun 2009 14:38:05 +0200

Well as FORTRAN is a turing complete language, then you can.

As long as the programming language is universal/turing complete you can.

http://en.wikipedia.org/wiki/Turing_completeness

Regards,
Quentin

2009/6/5 ronaldheld <RonaldHeld.domain.name.hidden>:
>
> Bruno:
>  I understand a little better. is there a citition for a version of
> Church Thesis that all algorithm can be written in
> FORTRAN?
>                         Ronald
>
>
> On Jun 4, 10:49 am, Bruno Marchal <marc....domain.name.hidden> 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 :)
>>
>> Bruno
>>
>> http://iridia.ulb.ac.be/~marchal/
> >
>



-- 
All those moments will be lost in time, like tears in rain.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Jun 05 2009 - 14:38:05 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:16 PST