On Thu, Dec 31, 2009 at 12:38 PM, Bruno Marchal <marc...@ulb.ac.be> wrote:
> > UDA = Universal Dovetailer Argument. It is an argument which is supposed to > show that if we take seriously the idea that "we" are digitally emulable, > then we have to take seriously the idea that physics is a branch of number > theory. Intensional number theory (number can serves as code for other > numbers and functions: it is theoretical computer science, also). > > Bruno, when you say code here, you are referring to code as in programming code, correct? I understand how a number can function as code for a function or a machine, but how can a number be code for another number? You've said many times that all it takes for everything we see to exist are the natural numbers, addition and multiplication, but where/how do functions and machines enter in to the picture? It is clear to me how once we get to the objective existence of functions, we get the UDA, but I think I am missing some step. Is your point that with addition, multiplication, and an infinite number of successive symbols, any computable function can be constructed? Or do the relations imposed by addition and multiplication somehow create functions/machines? Thanks, Jason -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-l...@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.