POV-Ray : Newsgroups : povray.general : Re: Food for thought... [Way OT] : Re: Food for thought... [Way OT] Server Time
11 Aug 2024 05:18:04 EDT (-0400)
  Re: Food for thought... [Way OT]  
From: Alexander Enzmann
Date: 3 Sep 1999 16:48:30
Message: <37D0353C.AD4B3B82@mitre.org>
Alberto wrote:
> 
> Alexander Enzmann wrote:
> 
> > No - the Peano axioms don't require any numbers to start with.  Only a
> > thing and the concept of a successor of that thing.  Standard formal
> > logic stuff.  Of course it takes Bertrand Russel a couple of hundred
> > pages in his Principles of Mathematics to get to the point that you can
> > show that 1 + 1 = 2.
> >
> > Xander
> 
> I doubt it. 2 is the successor of 1 and the equation
> 
>                                      1 + 1 =  2
> 
> is a symbolic way to state this fact.

You doubt that the Peano axioms don't require numbers or that Russel
takes a long bit of analysis before getting to ordinal numbers?  In
either case you'd be off the mark.

Xander


Post a reply to this message

Copyright 2003-2023 Persistence of Vision Raytracer Pty. Ltd.