Demonstriert den von Kurt Gödel 1930 geführten Beweis über formale Systeme; ermöglicht es, die im Beweis verwendeten Funktionen wie Prim n, Pr n, R x, E x etc. aufzurufen und dadurch zu veranschaulichen; verwendet die Arithmetik natürlicher Zahlen (caveat), welche meistens sehr langsam, aber unbeschränkt ist; mit Permanentspeicher für Variablen. Download schnell und sicher von heise.de
01.11.12, Deutsch/Englisch
Jetzt kommentieren