Science Central - All about Science

Sunday, 22 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Foundations UPDATE URL | REPORT BROKEN LINK

Mizar Project

 Popularity:    Hit: 329 | Visit: 6
Details
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
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'.
Arché (Popularity: ): The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ...
FOM (Popularity: ): A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive ...
Foundations of Mathematics (Popularity: ): This is a site for studying foundations of mathematics, or it can be used as ...

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact