www.manages.com - Open Directory

Directory : Science : Math : Logic and Foundations : Foundations :

Description


  • A Century of Controversy over the Foundations of Mathematics - Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
  • 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.
  • FOM - A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
  • Mizar Project - An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
  • 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.
  • QED Project - Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
  • Search our Wiki for Logic Foundations Foundations - Find more information about this subject by clicking here

This category needs an editor


Last update : 2002-11-04 17:31:53

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