Le 09-mai-05, à 19:39, Brent Meeker a écrit :
>> In what sense does "the program" exist if not as physical tokens? Is
>> it
> enough
>> that you've thought of the concept? The same "program", i.e.
>> bit-string,
> does
>> different things on different computers. So how can the program
>> instantiate
>> reality independent of the compu
By the magic of Church thesis, going from one computer to another is
just like
making a change of basis in some space. All result in Algorithmic
information theory
are independent of the choice of computer modulo some constant. The same
for recursion theory (abstract computer or generalized computer theory)
even without constant.
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Tue May 10 2005 - 10:17:44 PDT