Recent changes to wikihttps://sourceforge.net/p/pmii/wiki/Recent changes to wikienWed, 24 Apr 2013 06:46:34 0000Home modified by Michael Meylinghttps://sourceforge.net/p/pmii/wiki/Home/<div class="markdown_content"><pre> v3
+++ v4
@@ 4,7 +4,7 @@
Hilbert II provides a program suite that enables a mathematician to put theorems and proofs into that knowledge base. These proofs are automatically verified by a proof checker. Also texts in "common mathematical language" can be integrated. The mathematical axioms, definitions and propositions are combined to so called QEDEQ modules. Such a module could be seen as a mathematical textbook which includes formal correct proofs. Because this system is not centrally administrated and references to any location in the internet are possible, a world wide mathematical knowledge base could be build. Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by Hilbert II. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
More information can be found at the [project home page][http://qedeq.org/]
+More information can be found at the [project home page](http://qedeq.org/)
[[project_screenshots]]
[[members limit=20]]
</pre>
</div>Michael MeylingWed, 24 Apr 2013 06:46:34 0000https://sourceforge.netfb4cdbb3301019860b7c11b0d17da5ffb72c2babHome modified by Michael Meylinghttps://sourceforge.net/p/pmii/wiki/Home/<div class="markdown_content"><pre> v2
+++ v3
@@ 3,6 +3,9 @@
Hilbert II 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 GNU Free Documentation License. We aim to adapt the common mathematical argumentation to a formal syntax. That means, whenever in mathematics a certain kind of argumentation is often used we will look forward to integrate it into the formal language of Hilbert II. This formal language is called the QEDEQ format.
Hilbert II provides a program suite that enables a mathematician to put theorems and proofs into that knowledge base. These proofs are automatically verified by a proof checker. Also texts in "common mathematical language" can be integrated. The mathematical axioms, definitions and propositions are combined to so called QEDEQ modules. Such a module could be seen as a mathematical textbook which includes formal correct proofs. Because this system is not centrally administrated and references to any location in the internet are possible, a world wide mathematical knowledge base could be build. Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by Hilbert II. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
+
+More information can be found at the [project home page][http://qedeq.org/]
+
[[project_screenshots]]
[[members limit=20]]
[[download_button]]
</pre>
</div>Michael MeylingWed, 24 Apr 2013 06:45:50 0000https://sourceforge.net0ae74fefe1d8996a692cc262d6fc4f58504df65fHome modified by Michael Meylinghttps://sourceforge.net/p/pmii/wiki/Home/<div class="markdown_content"><pre> v1
+++ v2
@@ 1,8 +1,8 @@
Welcome to your wiki!
+The goal of Hilbert II is decentralised access to verified and readable mathematical knowledge. As its name already suggests, this project is in the tradition of Hilbert's program.
This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].
+Hilbert II 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 GNU Free Documentation License. We aim to adapt the common mathematical argumentation to a formal syntax. That means, whenever in mathematics a certain kind of argumentation is often used we will look forward to integrate it into the formal language of Hilbert II. This formal language is called the QEDEQ format.
The wiki uses [Markdown](/p/pmii/wiki/markdown_syntax/) syntax.

+Hilbert II provides a program suite that enables a mathematician to put theorems and proofs into that knowledge base. These proofs are automatically verified by a proof checker. Also texts in "common mathematical language" can be integrated. The mathematical axioms, definitions and propositions are combined to so called QEDEQ modules. Such a module could be seen as a mathematical textbook which includes formal correct proofs. Because this system is not centrally administrated and references to any location in the internet are possible, a world wide mathematical knowledge base could be build. Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by Hilbert II. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
+[[project_screenshots]]
[[members limit=20]]
[[download_button]]
</pre>
</div>Michael MeylingWed, 24 Apr 2013 06:43:33 0000https://sourceforge.netc4dfc1660c8dacf611e3c2aa3d625ac556064cf3Home modified by Michael Meylinghttps://sourceforge.net/p/pmii/wiki/Home/<div class="markdown_content"><p>Welcome to your wiki!</p>
<p>This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: <span>[SamplePage]</span>.</p>
<p>The wiki uses <a class="" href="/p/pmii/wiki/markdown_syntax/">Markdown</a> syntax.</p>
<p><h6>Project Members:</h6><ul class="mduserslist"><li><a href="/u/m31/">Michael Meyling</a> (admin)</li><li><a href="/u/michael137/">Michael Nedzelsky</a></li></ul><br />
</p><p><span class="downloadbutton5174d1b1271846344f1b5b68" style="marginbottom: 1em; display: block;"></span></p></div>Michael MeylingMon, 22 Apr 2013 05:59:14 0000https://sourceforge.nete90e3cb8d96b4abfc98dc32883f429b154a01f42