You are here: Webwiki > qedeq.org

Qedeq.org - Hilbert II - Introduction (No review yet)

Goto Qedeq.org
Popularity:

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 Qedeq.org

There are no reviews yet.

Content and keywords

Michael Meyling - is specified as the websites creator.

Important and popular websites

Important pages are Www.qedeq.org, News and Mathematics. In the following table you'll find the 10 most important pages of Qedeq.org:

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

Worth knowing about Qedeq.org: Mathematical logic is a subfield of mathematics with close connections to the foundations of mathematics, theoretical computer science and philosophical logic. read more

Technical information

The web server used by Qedeq.org is located in Germany and run by 1&1 Ionos Se. There are many websites run by this web server. The operator uses this server for many hosting clients. In total there are at least 392 websites on this server. The language of these websites is mostly english.

The websites of Qedeq.org 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:217.160.0.244
Server provider: 1&1 Ionos Se
Number of websites:about 100 - more websites using this IP address
Best-known websites:Hostel3.net (a bit known), Designerinaction.de (a bit known), Elpadul.es (little known)
Language distribution:32% of the websites are english, 24% of the websites are german, 6% of the websites are spanish, 3% of the websites are french

Technical information about the technology of the website

Webserver software: Apache
Generator:org.qedeq.web.PageGenerator
Load time: 0.06 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
Safe for children
100%
Safe for work
100%
Webwiki rating
No ratings
Server location
 Germany
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!