Sponsored Links:
Practical Foundations of Mathematics (Popularity: )
Online text of the book by Paul Taylor, together with supporting materials. The text aims ...
|
|
A Century of Controversy over the Foundations of Mathematics (Popularity: )
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
|
|
FOM (Popularity: )
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive ...
|
|
Mizar Project (Popularity: )
An attempt to reconstruct mathematical vernacular into a formal language which can be read by ...
|
|
Foundations of Mathematics (Popularity: )
This is a site for studying foundations of mathematics, or it can be used as ...
|
|
Arché (Popularity: )
The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ...
|