|
Foundations
Do you need Foundations?
Check it out the following sites about Foundations, or search Foundations
» A Century of Controversy over the Foundations of Mathematics - Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
» Arché - The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.
» FOM - A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
» Mizar Project - An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
» Practical Foundations of Mathematics - 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.
» QED Project - Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
|
|
| RedTube |
| Redtube is the great video and chat website with lot of beautiful girls online 24h day |
|
Ciaoamigos | | Chatta con belle ragazze in cam su Ciao Amigos Entra a far parte della community piu divertente del web! |
|
Magic-Search |
Search the web easy at Magic-Search.com
Join affiliate program and make money |
|
Work at home
| | Looking for a Work at Home Business? Earn income world wide Simple and fun. |
|
Buy This Box! |
Do you want to Promote your website? Try FindingWeb Keyword Sponsor Box for ONLY $30 a Month! Try also our pay per click advertising!
Sign up Now! |
|
