On 28/05/2009, at 12:21 AM, Bruno Marchal wrote:
> Also, I will from now on, abandon the term machine for the term > number. Relatively to a fixed chosen universal "machine", like > Robinson arithmetic, such an identification can be done precisely. I > will come back on this to my explanation to Kim, if he is still > interested, and patient enough ... > Am still interested and possessed of infinite patience Kim --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---
