Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Axiomization of Number Theory
Replies: 52   Last Post: Aug 4, 2003 12:18 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Robin Chapman

Posts: 3,289
Registered: 12/6/04
Re: Axiomization of Number Theory
Posted: Jul 29, 2003 2:24 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


David C. Ullrich wrote:

> On Mon, 28 Jul 2003 13:38:12 +0100, Robin Chapman
> <rjc@ivorynospamtower.freeserve.co.uk> wrote:
>

>>Pete Moore wrote:
>>

>>>
>>> "Charlie-Boo" <chvol@aol.com> wrote in message
>>> news://3df1e59f.0307250955.79ee3a83@posting.google.com...

>>>> Hello all,
>>>>
>>>> I am interested in axiomizing Number Theory.

>>>
>>> Didn't Godel prove that that isn't possible?
>>>

>>
>>And din't Peano actually do it?

>
> It takes some definitions to clarify this. Godel certainly
> did prove that axiomatizing number theory is impossible,
> and no Peano didn't do it. Carefully:
>
> Let's say "number theory" is the (first-order) theory of
> the natural numbers, ie the set of all statements
> about the natural numbers in a certain formal language
> that are true. Godel showed that there is no (recursive)
> axiomatization of number theory - there does not
> exist a recursive set of axioms such that the logical
> consequences of those axioms are precisely the
> true statements of number theory. ("Recursive"
> just says that there is an algorithm that allows one
> to determine whether or not a given statement
> is an axiom. Non-recursive "axiomatizations" exist,
> for example the set of all true statements of number
> theory is an axiomatization of number theory. But
> non-recursive axiomatizations are sort of useless,
> since there's no way to check whether a proof is
> correct, since there's no way to recognize an
> "axiom" when you see one.)
>
> The (first-order) Peano axioms do not do the
> job.


Then take second-order :-)

--
Robin Chapman, www.maths.ex.ac.uk/~rjc/rjc.html
"His mind has been corrupted by colours, sounds and shapes."
The League of Gentlemen



Date Subject Author
7/25/03
Read Axiomization of Number Theory
Charlie-Boo
7/25/03
Read Re: Axiomization of Number Theory
Charlie Johnson
7/25/03
Read Re: Axiomization of Number Theory
Arief
7/25/03
Read Re: Axiomization of Number Theory
Jeffrey Ketland
7/28/03
Read Re: Axiomization of Number Theory
Charlie-Boo
7/28/03
Read Re: Axiomization of Number Theory
William Elliot
7/28/03
Read Re: Axiomization of Number Theory
Charlie-Boo
7/28/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/29/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/29/03
Read Re: Axiomization of Number Theory
Andrew Boucher
8/4/03
Read Re: Axiomization of Number Theory
Charlie-Boo
7/29/03
Read Re: Axiomization of Number Theory
Pete Moore
7/29/03
Read Re: Axiomization of Number Theory
Robin Chapman
7/29/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/29/03
Read Re: Axiomization of Number Theory
Robin Chapman
7/29/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/29/03
Read Re: Axiomization of Number Theory
Robin Chapman
7/30/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/30/03
Read Re: Axiomization of Number Theory
Robin Chapman
7/30/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/31/03
Read Re: Axiomization of Number Theory
Robin Chapman
7/29/03
Read Re: Axiomization of Number Theory
George Cox
7/29/03
Read Re: Axiomization of Number Theory
Per Eriksson
7/30/03
Read Re: Axiomization of Number Theory
Charlie-Boo
7/30/03
Read Re: Axiomization of Number Theory
Per Eriksson
7/31/03
Read Re: Axiomization of Number Theory
Robin Chapman
7/30/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/30/03
Read Re: Axiomization of Number Theory
Per Eriksson
7/30/03
Read Re: Axiomization of Number Theory
Mike Oliver
7/31/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/31/03
Read Re: Axiomization of Number Theory
Charlie-Boo
7/31/03
Read Re: Axiomization of Number Theory
tchow@lsa.umich.edu
7/31/03
Read Re: Axiomization of Number Theory
Per Eriksson
7/29/03
Read Re: Axiomization of Number Theory
Arief
7/30/03
Read Re: Axiomization of Number Theory
Keith Ramsay
7/30/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/30/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/30/03
Read Re: Axiomization of Number Theory
David C. Ullrich
7/30/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/30/03
Read Re: Axiomization of Number Theory
Mike Oliver
7/31/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/31/03
Read Re: Axiomization of Number Theory
Mike Oliver
7/31/03
Read Re: Axiomization of Number Theory
Aatu Koskensilta
7/31/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/31/03
Read Re: Axiomization of Number Theory
Mike Oliver
7/31/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/31/03
Read Re: Axiomization of Number Theory
Mike Oliver
7/31/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/31/03
Read Re: Axiomization of Number Theory
Mike Oliver
7/31/03
Read Re: Axiomization of Number Theory
Aatu Koskensilta
7/31/03
Read Re: Axiomization of Number Theory
Andrew Boucher
7/31/03
Read Re: Axiomization of Number Theory
Keith Ramsay
7/31/03
Read Re: Axiomization of Number Theory
Andrew Boucher

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.