We use cookies to measure traffic and show relevant ads. By clicking Accept you agree to our use of analytics and advertising cookies.
Analyse von Gödels Unvollständigkeitssätzen mit Nummerierung und PM-Lisp. Warum es unmöglich ist, die gesamte Mathematik zu formalisieren. Für Entwickler und Mathematiker.
