Hilbert II

Related Projects

• Metamath Proof Explorer
• Ghilbert
• Mizar Project
• The QED Project

Other Systems and Groups

• Automated Deduction Systems and Groups
• DFG Research Programme "Deduktion"

Texts

• "The QED Manifesto"
• "Formalised Mathematics" by John Harrison
• Notes by Freek Wiedijk
• "Short explanation of why I'm coding a proof of the Jordan curve theorem" by Freek Wiedijk

Selected Topics

    Mathematics and Logic

• Mathematics, from Wikipedia, the free encyclopedia
• An Elementary Introduction to Logic and Set Theory
• A primer in Predicate Logic
• Introduction to Mathematical Logic
• Hilbert and Ackermann's 1928 Logic Book
• Vorlesungsskripte von Martin Ziegler, u.a. Logik und Mengenlehre
• On Formally Undecidable Propositions of Principia Mathematica and related systems
• The Bulletin of Symbolic Logic
• PlanetMath: Math for the people, by the people
• CiteSeer: Scientific Literature Digital Library
• Principia Mathematica
• Classical Logic
• Logic textbook
• Axiomatic Set Theory, wikipedia
• Set Theory
• Set Theory and the Construction of Numbers

    LaTeX

• TeX Users Group Home Page
• LaTeX Tutorial
• From DVI to HTML
• Clicking LaTeX
• Another TeX to HTML Converter
• HyperTeX
• Hear the Formulas
• Beschreibung von bekannten Konvertern (in Deutsch)

    Formulas in HTML

• Formulas and HTML
• Equation Editor
• Formula as applet

    Computer Science

• BNF Notation