Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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

 Messages: [ Previous | Next ]
 Robin Chapman Posts: 3,289 Registered: 12/6/04
Re: Axiomization of Number Theory
Posted: Jul 29, 2003 2:24 AM

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

>>>> 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 Charlie-Boo
7/25/03 Charlie Johnson
7/25/03 Arief
7/25/03 Jeffrey Ketland
7/28/03 Charlie-Boo
7/28/03 William Elliot
7/28/03 Charlie-Boo
7/28/03 Andrew Boucher
7/29/03 Andrew Boucher
7/29/03 Andrew Boucher
8/4/03 Charlie-Boo
7/29/03 Pete Moore
7/29/03 Robin Chapman
7/29/03 David C. Ullrich
7/29/03 Robin Chapman
7/29/03 David C. Ullrich
7/29/03 Robin Chapman
7/30/03 David C. Ullrich
7/30/03 Robin Chapman
7/30/03 David C. Ullrich
7/31/03 Robin Chapman
7/29/03 George Cox
7/29/03 Per Eriksson
7/30/03 Charlie-Boo
7/30/03 Per Eriksson
7/31/03 Robin Chapman
7/30/03 David C. Ullrich
7/30/03 Per Eriksson
7/30/03 Mike Oliver
7/31/03 David C. Ullrich
7/31/03 Charlie-Boo
7/31/03 tchow@lsa.umich.edu
7/31/03 Per Eriksson
7/29/03 Arief
7/30/03 Keith Ramsay
7/30/03 David C. Ullrich
7/30/03 Andrew Boucher
7/30/03 David C. Ullrich
7/30/03 Andrew Boucher
7/30/03 Mike Oliver
7/31/03 Andrew Boucher
7/31/03 Mike Oliver
7/31/03 Aatu Koskensilta
7/31/03 Andrew Boucher
7/31/03 Mike Oliver
7/31/03 Andrew Boucher
7/31/03 Mike Oliver
7/31/03 Andrew Boucher
7/31/03 Mike Oliver
7/31/03 Aatu Koskensilta
7/31/03 Andrew Boucher
7/31/03 Keith Ramsay
7/31/03 Andrew Boucher