jasminecorp.net directory
Updated Blogs
More .....



 
 
| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Foundations
Directory > Science > Math > Logic and Foundations > Foundations

Web Sitesi

FOM
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin
Davis. Archive available.
http://www.cs.nyu.edu/mailman/listinfo/fom/
Reviews Rating: Not yet Rated Whois Check

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.
http://www.st-and.ac.uk/academic/philosophy/arche/
Reviews Rating: Not yet Rated Whois Check

A Century of Controversy over the Foundations of Mathematics
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
http://www.umcs.maine.edu/~chaitin/lowell.html
Reviews Rating: Not yet Rated Whois Check

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.
http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/
Reviews Rating: Not yet Rated Whois Check

QED Project
Build a single, distributed, computerized repository that rigorously represents all important,
established mathematical knowledge
http://www-unix.mcs.anl.gov/qed/
Reviews Rating: Not yet Rated Whois Check

Mizar Project
An attempt to reconstruct mathematical vernacular into a formal language which can be read by
humans and also verified by software.
http://www.mizar.org/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia