Re: ROADMAP 1 (main acronyms)

Bruno Marchal wrote: > > UDA is an argument showing that COMP + "there exist a physical running > UD" entails the reduction of physics to number theory/computer science. > > So with OCCAM you can already eliminate the hypothesis that there is > physical running UD, and thus that there is any nee

Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

Ah the famous Juergen Schmidhuber! :) Is the universe a computer. Well, if you define 'universe' to mean 'everything which exists' and you're a mathematical platonist and grant reality to infinite sets and uncomputables, the answer must be NO, since if uncomputable numbers are objectively real (

Re: Numbers, Machine and Father Ted

Bruno Marchal wrote: > I don't understand really what you mean by "AUDA is not RITSIAR". AUDA > is just the lobian interview, or if you prefer the complete > mathematical formalization of the UDA reasoning. In some sense you can > interpret it as the eventual elimination of the "yes doctor" hypo

Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

Dear colleagues, many interesting talks at the Zuse Symposium: Is the universe a computer? Berlin Nov 6-7, 2006 http://www.dtmb.de/Aktuelles/Aktionen/Informatikjahr-Zuse/ Best regards, -JS http://www.idsia.ch/~juergen/computeruniverse.html --~--~-~--~~~---~--~~ Y