Foundations Logic and Foundations Math


An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.








    Top: Science: Math: Logic and Foundations

Foundations

  • FOM - A closed, moderated, e-mail list for discussing Foundations math of Mathematics math moderated by Martin Davis. Archive math available.
  • Mizar Project - An attempt to reconstruct mathematical vernacular into a logic and foundations formal language which can be read by humans logic and foundations and also verified by software.
  • QED Project - Build a single, distributed, computerized repository that rigorously math represents all math important, established mathematical knowledge
  • Hilbert II - Mathematical Foundation Project - The Goal of Hilbert II, which is in the tradition of Hilbert\\'s program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it.
  • Practical Foundations of Mathematics - Online text of the book by Paul Taylor, together with math supporting materials. The text aims to provide a conceptual math and formal foundation for mathematics and computer science.
  • Arché - The Arche project looks at the foundations of math mathematics, especially at Frege\\'s Theorem and its ramifications. math Based at the University of St Andrews.
  • Foundations of Mathematics - Reviews the foundations of mathematics with reference materials foundations structured as math content pages of a book. Includes foundations links to expository materials.
  • A Century of Controversy over the Foundations of Mathematics - Edited transcript of a lecture by Gregory Chaitin, foundations author of `The Unknowable'.


   MySQL - Cache Direct


  
Twitter