Hilbert II - Mathematical Foundation Project
Edit Page
Report
Scan day: 09 February 2014 UTC
18
Virus safety - good
Description: 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.
is decentralised access to verified and readable mathematical knowledge. As its name already suggests, this project is in the tradition of wants to become a free, world wide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. All belonging documents are published under the
Size: 322 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Hilbert II - Introduction |
| Keywords: | Hilbert II, principia mathematica, logic, logical, mathematic, mathematics, mathematical, logic, basic, conclusion, formal, proof, verifier, check, verify, documentation, foundation, correctness, predicate, calculus, first order, language, hilbert, ackermann, whitehead, russell, bernays, michael meyling |
| 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. |
| IP-address: | 82.165.56.13 |
WHOIS Info
| NS | Name Server:NS17.SCHLUND.DE Name Server:NS18.SCHLUND.DE Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: |
| WHOIS | Status: ok |
| Date | Creation Date: 2002-05-09T16:55:43Z Expiry Date: 2014-05-09T16:55:43Z |