Science » Math » Logic and Foundations » Foundations (index): Mizar Project, Practical Foundations of Mathematics, A Century of Controversy over the Foundations of Mathematics, Arché ...


Home		Set as Homepage		Add to Favorite		Contact

11 November, 2009

search for

egories

Category: Main » Science » Math » Logic and Foundations » Foundations

SUBMIT A SITE

	Foundations	Records 1-6 of 6
		Order by Date Added \| Popularity \| Alphabet

Sponsored Links:

Mizar Project (Popularity:

)
http://www.mizar.org/
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by ...

Practical Foundations of Mathematics (Popularity:

)
http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/
Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and ...

A Century of Controversy over the Foundations of Mathematics (Popularity:

)
http://www.umcs.maine.edu/~chaitin/lowell.html
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.

Arché (Popularity:

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

FOM (Popularity:

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

Foundations of Mathematics (Popularity:

)
http://sakharov.net/foundation.html
This is a site for studying foundations of mathematics, or it can be used as a reference material. The site ...