Re: Asifism revisited.

From: Torgny Tholerus <torgny.domain.name.hidden>
Date: Fri, 13 Jul 2007 15:03:11 +0200

Brent Meeker skrev:

Bruno Marchal wrote:
  

Le 09-juil.-07, à 17:41, Torgny Tholerus a écrit :
    

...
  

    Our universe is the result of some set of rules. The interesting
    thing is to discover the specific rules that span our universe.




Assuming comp, I don't find plausible that "our universe" can be the 
result of some set of rules. Even without comp the "arithmetical 
universe" or arithmetical truth (the "ONE" attached to the little Peano 
Arithmetic Lobian machine) cannot be described by finite set of rules.
    

But it can be "the result of" a finite set of rules. Arithmetic results from Peano's axioms, but a complete description of arithmetic is impossible.
  

That is exactly what I wanted to say.  You don't need to have a complete description of arithmetic.  Our universe can be described by doing a number of computations from a finite set of rules.  (To get to the current view of our universe you have to do about 10**60 computations for every point of space...)

--
Torgny

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe@googlegroups.com
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Received on Fri Jul 13 2007 - 09:03:24 PDT