Example image of eyePlorer eyePlorer-Ergebnisse für 'Metamathematik': Grundlagen der Mathematik 1920 Axiomensystem David Hilbert Mathematik Hilbertprogramm Metaphysik Gödelscher Unvollständigkeitssatz Albert Thoralf Skolem Gerhard Gentzen Jacques Herbrand Leopold Löwenheim Mojżesz Presburger Transfinite Induktion Alonzo Church Entscheidbar Prädikatenlogik Berechenbarkeit Rekursion Paul Lorenzen Gentzenscher Hauptsatz Konstruktive Mathematik Formalisierte Theorie Gödel, Escher, Bach Mathematische Logik Eliakim Hastings Moore Alfred Tarski Grundlagenkrise der Mathematik Vollständige Induktion Ordinalzahl
Disclaimer