Editing PeanoAxioms
You are currently not logged in.
To change this, fill in the following fields:
Username
Password
Who can read this page?
The World
Members
Council
Admin
You have been granted an edit lock on this page
until Fri Apr 26 01:56:52 2024.
Press
to finish editing.
Who can edit this page?
World editing disabled
Members
Council
Admin
[[[>50 !! In a nutshell ... OK, briefly: * 0 is a natural number. * Equality is reflexive: so /x=x/ * Equality is symmetric: so /a=b/ implies /b=a/ * Equality is transitive: so /a=b/ and /b=c/ implies /a=c/ * For every natural number /n,/ /S(n)/ is a natural number * For every natural number /n,/ /S(n)=0/ is false * For all natural numbers /n/ and /m,/ if /S(n)=S(m)/ then /n=m./ Now on to induction: * If *K* is a set such that: ** /0/ is in *K,* and ** for every natural number /n,/ *** if /n/ is in *K* then /S(n)/ is in *K,* * then *K* contains every natural number. COLUMN_START^ Addition: * /a+0=0/ * /a+S(b)=S(a+b)/ COLUMN_SPLIT^ Multiplication: * /a.0=0/ * /a.S(b)=a+a.b/ COLUMN_END ]]] The Peano Axioms are intended to create a system that captures our intuition of the Natural Numbers (also called the Counting Numbers). Expressed technically, they define a formal system of objects with a concept of addition and multiplication. In essence, the axioms define a zero and the concept of a "next number." It then defines what we mean when we say two numbers are equal, and what it means to add and multiply. All arithmetic on the natural numbers can be reduced to ~working with the axioms, and although it can be instructive to do so, it can also be incredibly tedious. The arithmetic in this system is called Peano Arithmetic. Being a formal system we can start to talk about proofs in a formal way. In 1977 Paris and Harrington gave a "natural" example of a statement which is true for the integers but unprovable in Peano arithmetic. This was the first case of an example of Gödel's first incompleteness theorem that wasn't explicitly constructed as part of the proof. ---- Further reading: * http://en.wikipedia.org/wiki/Peano_axioms * http://mathworld.wolfram.com/PeanoArithmetic.html