21.03.13, Deutsch, Test in c't 19/07
urly kommentiert: "Geometrie && Analysis: deckt beide Bereiche umfassend ab."
Gödel 0.92
Download
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
Mehr zum Thema: Logik, Gödel, Zahlentheorie, Peano-Axiome, große Zahlen
Verlinken Sie Gödel auf Ihrer Homepage oder Ihrem Blog:
- Name:
Gödel
- Sprache:
- Deutsch/Englisch
- Betriebssysteme:
- Windows 98, ME, NT, 2000, XP, Server 2003, Server 2008, Server 2012, Vista, 7, 8
- Mindestvoraussetzungen:
- CPU: 2Ghz; 2000 MByte RAM; 12 MByte HDD
- Download-Größe:
- 923 kB
- Preis:
- kostenlos
- Einschränkungen:
- keine
- Hersteller/Autor:
- Alle Programme von Context IT GmbH
- E-Mail-Adresse:
- Bewertungsrang:
- -
- Download-Rang:
- 28982
Programmdaten aktualisieren
(nur für Autoren/Hersteller)
Datensatz zuletzt aktualisiert
am 16.01.13
Alle Angaben ohne Gewähr.
Melden: Neue Version | Falsche Programmdaten | Download-Probleme | Viren/Trojaner/Spyware | bessere Screenshots
Bitte teilen Sie anderen Ihre Meinung mit.
Sie müssen sich einloggen um Kommentare schreiben zu können.
Diese Programme könnten Sie auch interessieren
Andere Programme von Context IT GmbH
- Alle Rubriken
- Audio & Video
- Foto & Grafik
- Freizeit & Hobby
- Handy, Fax & Co.
- Internet
- Netzwerk & Server
- Office
- Programmierung
- Sicherheit
- Spiel & Spaß
- Systemsoftware
- Wissenschaft & Technik
