BabyBumbleBee Baby Math Videos Save
Give your baby a head start in Math. The Baby Math video series introduces your baby or toddler to simple Math concepts in two fun videos.
www.babybumblebee.com (sponsored link)
 

Rugs at Next Save
Great, stylish collection at Next. Next day delivery and free returns.
next.co.uk (sponsored link)
 

Numeracy Save
Find out how and where to improve your or your child's numeracy.
www.direct.gov.uk (sponsored link)
 

Hatchbag Bootliner Save
Tailored vehicle protection for your vehicle.
www.hatchbag.co.uk (sponsored link)
 

Autostyle -Top Quality Tailored Car Mats Save
Tailored to fit your car, customised with Free . Embroidered motif.
www.autostyle.co.uk (sponsored link)
 

A Century of Controversy over the Foundations of Mathematics Save
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
http://www.umcs.maine.edu/~chaitin/lo...   

Arché Save
The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.
http://www.st-and.ac.uk/academic/phil...   

FOM Save
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
http://www.cs.nyu.edu/mailman/listinf...   

Foundations of Mathematics Save
Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.
http://sakharov.net/foundation.html   

Hilbert II - Mathematical Foundation Project Save
The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it.
http://www.qedeq.org/   

Mizar Project Save
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
http://www.mizar.org/   

Practical Foundations of Mathematics Save
Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science.
http://www.dcs.qmw.ac.uk/~pt/Practica...   

QED Project Save
Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
http://www-unix.mcs.anl.gov/qed/   

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor