I'm not so sure that I do perceive positive integers directly. But
regardless of that, I remain convinced that all properties of them
that I can perceive can be written as a piece of ASCII text. 

The description doesn't need to be axiomatic, mind you. As I have
mentioned, the Schmidhuber ensemble of descriptions is larger than the
Tegmark ensemble of axiomatic systems.


Hal Finney wrote:
> But as an example, how about "the positive integers"?  That's a pretty
> simple description.  Just start with 0 and keep adding 1.
> >From what we understand of Godel's theorem, no axiom system can capture
> all the properties of this mathematical structure.  Yet we have an
> intuitive understanding of the integers, which is where we came up with
> the axioms in the first place.  Hence our understanding precedes and is
> more fundamental than the axioms.  The axioms are the map; the integers
> are the territory.  We shouldn't confuse them.
> We have a direct perception of this mathematical structure, which is
> why I am able to point to it for you without giving you an axiomatic
> description.
> Hal Finney

A/Prof Russell Standish                  Director
High Performance Computing Support Unit, Phone 9385 6967, 8308 3119 (mobile)
UNSW SYDNEY 2052                         Fax   9385 6965, 0425 253119 (")
Australia                                [EMAIL PROTECTED]             
Room 2075, Red Centre                    http://parallel.hpc.unsw.edu.au/rks
            International prefix  +612, Interstate prefix 02

Reply via email to