Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Foundations
:
Hilbert II - Mathematical Foundation Project
Link Details for:
Hilbert II - Mathematical Foundation Project
Link Title:
Hilbert II - Mathematical Foundation Project
Link URL:
http://www.qedeq.org/
Link Details:
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.
Category:
Top : Science : Math : Logic_and_Foundations : Foundations
Link Type:
ScreenShot:
Link Details for: Hilbert II - Mathematical Foundation Project
