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?
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
For more options, visit this group at