|
Forum for the Hilbert II project | Welcome, Guest. You can post anonymously. | 09.05.2008 23:09:35 |
|
|
| News: Main suite in development. |
| QEDEQ |
| Forum name | Topics | Posts | Last post | ||
 Project | |||||
 |
Common
about project Hilbert II, what are its goals, state, people if you don't know where to put your question add it here Moderators: - |
13 | 53 |
by Michael Meyling |
|
|
Web
about the web page presentation of Hilbert II Moderators: - |
2 | 4 |
by Michael Meyling |
|
|
Forum
forum specific questions, what about this forum, its structure and contents Moderators: - |
2 | 4 |
by Michael Meyling |
|
| Mathematics | |||||
|
Common
everything that dosen't fit in other areas Moderators: - |
3 | 11 |
by Michael Meyling |
|
|
Logic
Logic used in Hilbert II Moderators: - |
2 | 3 |
by Michael Meyling |
|
|
Set Theory
Set Theory of Hilbert II Moderators: - |
4 | 8 |
by Anonymous |
|
| Main | |||||
|
Common
everything about the main program suite of Hilbert II, its release plan, feature list and so on Moderators: - |
10 | 28 |
by Michael Meyling |
|
|
QEDEQ format
the formal language used in the main program suite is also called QEDEQ format, all files in this format are QEDEQ modules, these modules contain all the mathematicial knowledge Moderators: - |
4 | 14 |
by Anonymous |
|
|
Development
technical aspects for the development of the main program suite, interesting for software developers Moderators: - |
7 | 11 |
by Anonymous |
|
| Prototype | |||||
|
Common
everthing about the prototype, releases, features, limitations etc. Moderators: - |
9 | 22 |
by Anonymous |
|
|
QEDEQ format
the formal language used in the prototype is called QEDEQ format Moderators: - |
1 | 2 |
by Michael Meyling |
|
|
Development
questions about the technical development of the prototype are asked here Moderators: - |
1 | 2 |
by Michael Meyling |
 
|
|
|
