Science: Math: Logic_and_Foundations: Foundations:

» 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.




» 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, e-mail 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.




» QED Project - Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge

Seite vorschlagen - Open Directory Project - Werde Editor

Der Inhalt dieses Verzeichnisses basiert auf dem Open Directory und kann modifiziert sein.

Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web