Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Logic_and_Foundations/Foundations
Top
:
Science
:
Math
:
Logic and Foundations
:
Foundations
(6)
A Century of Controversy over the Foundations of Mathematics
 Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
FOM
 A closed, moderated, email list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
Foundations of Mathematics
 Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.
Hilbert II  Mathematical Foundation Project
 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.
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.
"
Foundations
" search on:
AOL

Ask

Bing

Gigablast

Google

Lycos

Yahoo

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: July 4, 2013 at 15:53:15 UTC 
edit