You are here: Webwiki > - Hilbert II - Intro­duction (No review yet)

Goto Qe­

Language: english

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.

Keywords: Hilbert Ii Principia Mathematica Logic Logical Mathematic Mathematics Mathematical Basic Conclusion Formal Proof Verifier Check Verify Documentation Foundation Correctness Predicate Calculus First Order Language Ackermann Whitehead Russell Bernays

Reviews and ratings of

There are no reviews yet.

Content and keywords

Michael Meyling - is specified as the websites creator.

Important and popular websites

Important pages are, Deutsch and News. In the following table you'll find the 10 most important pages of

# Description URL of the website
1. www.qe­ /index.html
2. Deutsch /index_de.html
3. news /news.html
4. mat­hema­tics /mat­hema­tics.html
5. Qe­deq /qedeq.html
6. plan­ning /plan­ning.html
7. download /download.html
8. glos­sary /glos­sary.html
9. deve­lop­ment /deve­lop­ment.html
10. pro­totype /pro­totype.html

Worth knowing about In mathematics, a proof is a demonstration that if some fundamental statements are assumed to be true, then some mathematical statement is necessarily true. read more

Technical information

The web server used by is located in Germany and run by 1&1 Internet AG. 26 other websites are located on this web server. Most of them are provided in the english language.

The websites of are served by a Apache server. The markup language of the website is HTML 4.0 Transitional. The visitor analysis software Piwik is used to analyze the visitors of the websites. The website does not specify details about the inclusion of its content in search engines. For this reason the content will be included by search engines.

Information about the server of the website

IP address:
Server provider:1&1 Internet AG
Number of websites:27 - more websites using this IP address
Best-known (a bit known)
Language distribution:44% of the websites are english, 26% of the websites are german, 7% of the websites are french, 4% of the websites are croatian

Technical information about the technology of the website

Webserver software: Apache
Load time: 0.02 seconds (faster than 99 % of all websites)
HTML version:HTML 4.0 Transitional
Filesize:8.75 KB (400 recognized words in text)
Visitor Tracking/analysis:The website uses Piwik to analyze the visitors.

Safety and classification

The website doesn't contain questionable content. It can be used by kids and is safe for work.

Attribute Classification
Google Safebrowsing
Safe for children
Safe for work
Webwiki rating
No ratings
Server location
Trustworthy 85%
Disclaimer: The classification is based on the automatic analysis of public information, ratings and customer reviews. All information is provided without warranty.
For webmasters:
Add a Webwiki button with the current rating to your website!