Project Description

The first in a series of mathematical projects. This project will cover the basics of numbers and logic that ground the foundations of mathematics. Not the last project on number theory, this project should work a reasonably intelligent reader through the construction of our number systems, fundemental to more advanced topics such as Algebra, Set Theory and Analysis.

Pages proposed to cover:

• A history of numbers
• Propositional Logic
• Completeness
• Liar's Paradox
• Consistancy
• Basic methods of proof
• Integers and Naturals
• Rational Numbers
• Irrational Numbers
• Cantor's Diagonal Argument
• Cantor's Diagonal Argument (to be included in the above)
• What I don't like about Cantor's Diagonal Argument
(maybe to remove)


• The Imaginary Number
• The Euler Equation

Contributing Researchers

This project is done with the h2g2 Mathematical Institute.

• Joanna (Integers and Naturals, Rationals)
• Jim diGriz (Cantor's Diagonal Argument)
• Hippiechick (Propositional Logic)
• Spiritual Warrior (Consistancy)
• Fragilis the Melodical (Proof-reader)
• Jaz (Cantor's Diagonal Argument)
• Aier (Liar's Paradox)

Further Information Required

There is no further information required. I am, however, looking for subbies and scouts to help tidy up the project ready to be handed in.