Search All of the Math Forum:

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

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

 Search Thread: Advanced Search

 Messages: [ Previous | Next ]
 David C. Ullrich Posts: 21,553 Registered: 12/6/04
Re: Axiomization of Number Theory
Posted: Jul 30, 2003 4:12 PM
 Plain Text Reply

On Wed, 30 Jul 2003 16:11:45 +0100, Robin Chapman
<rjc@ivorynospamtower.freeserve.co.uk> wrote:

>David C. Ullrich wrote:
>

>>
>>>I am interested in axiomizing Number Theory. I'm not talking about
>>>some bogus list of properties of addition and multiplication, but
>>>rather a set of formal axioms and rules of inference that allows us (a
>>>program) to derive theorems from Number Theory.

>>
>> [hmm, looking at that again it appears that we are a program.]
>>
>> Someone said Godel showed this was impossible, you said didn't
>> Peano do it,

>
>Do you really believe that Godel showed that
>"... to derive theorems from Number Theory"
>was impossible?

Well first, it's clear that the "from Number Theory"
meant "of Number Theory" - we want to derive theorems
of number theory from the formal system.

Of course Godel didn't show that it's impossible to
derive theorems of number theory from a formal system,
if by that we mean derive _some_ theorems of number
theory. Giving a formal system from which it's possible
to derive some theorems of number theory is so easy
that it seems it can't be what we really wanted (for
example, consider the formal system with Fermat's
Last Theorem as the one and only axiom, and no
inference rules. It's not hard to derive Fermat's Last
Theorem from that formal system, but it doesn't seem
very interesting.) I and the person who claimed Godel
showed "it" was impossible were assuming that "it"
was to derive _all_ the theorems of number theory
from a formal system.

If the "it" in your "didn't Peano do it" meant give
a formal system from which one could derive
_some_ theorems of number theory then yes,
of course Peano did it (but there are much easier
ways to do it, as above.)

************************

David C. Ullrich

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

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