List of web sites about Logic and Foundations: Foundations. Links and information.
dmoz Google Alexa
Directory: Science
Math: Logic and Foundations: Foundations		Web sites about Logic and Foundations: Game Semantics
Web sites about Logic and Foundations: Computational Logic

Site List

Open a new window A Century of Controversy over the Foundations of Mathematics - Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
www.umcs.maine.edu/~chaitin/lowell.html		 Information about A Century of Controversy over the Foundations of Mathematics
Open a new window 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.
www.st-and.ac.uk/academic/philosophy/arche		 Information about Arché
Open a new window FOM - A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
www.cs.nyu.edu/mailman/listinfo/fom		 Information about FOM
Open a new window Foundations of Mathematics - Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.
sakharov.net/foundation.html		 Information about Foundations of Mathematics
Open a new window 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.
www.qedeq.org		 Information about Hilbert II - Mathematical Foundation Project
Open a new window Mizar Project - An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
www.mizar.org		 Information about Mizar Project
Open a new window 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.
www.dcs.qmw.ac.uk/~pt/Practical_Foundations		 Information about Practical Foundations of Mathematics
Open a new window QED Project - Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
www-unix.mcs.anl.gov/qed		 Information about QED Project

Main Categories in Science

Social Sciences, Biology, Technology, Math, Environment, Earth Sciences
Suggest URL
Submit a Site
Update Listing

 
Main Categories: Arts, Business [E-Commerce, Investing], Computer [Software, Retailers], Games, Health, Home, Kids and Teens, News, Recreation [Models], Reference, Regional [US, UK], Science, Shopping Online [Buy Cars, Used and Rare Books], Society, Sports
Based on ODP data, enhanced by Kub.it editors
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Free thumbnail preview by Thumbshots.org
Kub Directory © 2004/2006 Deucalione