Directory

Directory Help Search only in FoundationsSearch the Web

Foundations

Science > Math > Logic and Foundations > Foundations

Go to Directory Home: [English]  [English]

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	FOM - http://www.cs.nyu.edu/mailman/listinfo/fom/ A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
	Mizar Project - http://www.mizar.org/ An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
	Foundations of Mathematics - http://sakharov.net/foundation.html Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.
	QED Project - http://www-unix.mcs.anl.gov/qed/ Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
	A Century of Controversy over the Foundations of Mathematics - http://www.umcs.maine.edu/~chaitin/lowell.html Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.

	Practical Foundations of Mathematics - http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html 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.
	Hilbert II - Mathematical Foundation Project - http://www.qedeq.org/ 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.
	Arché - http://www.st-and.ac.uk/academic/philosophy/arche/ The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...