uncompoutable numbers, non countable sets etc. don't exist in first
order logic, see here:
http://www.earlham.edu/~peters/courses/logsys/low-skol.htm
"marc.geddes.domain.name.hidden" <marc.geddes.domain.name.hidden.com>:
>
> 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 (strong platonism)
> they are 'things' and therefore 'part of the universe' which are by
> definition not computable.
>
> But if by 'universe' you just mean 'physical reality' or 'discrete
> mathematics' or you refuse to grant platonic reality to uncomputables
> or infinite sets (anti-platonism or weaker platonism) then the answer
> could be YES, the universe is a computer.
>
> Cheers!
>
>
> >
>
--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Nov 03 2006 - 07:43:29 PST