Qedeq.org
Title
Hilbert II - Introduction
Description
Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating LaTeX files and html pages.
Languages
English
Additional Information
Related Domains
Categories:
- Ackermann
- Basic
- Bernays
- Calculus
- Check
- Conclusion
- Correctness
- Documentation
- First Order
- Formal
- Foundation
- Foundations
- Hilbert
- Hilbert Ii
- Language
- Logic
- Logic And Foundations
- Logical
- Math
- Mathematic
- Mathematical
- Mathematics
- Michael Meyling
- Predicate
- Principia Mathematica
- Proof
- Russell
- Science
- Verifier
- Verify
- Whitehead
- Hilbert II
- Logic and Foundations