Die Arbeiten von Kurt Gödel haben die mathematische Logik und die Philosophie maßgeblich geprägt. Seine Unvollständigkeitssätze haben gezeigt, dass bestimmte mathematische Systeme unvollständig sind, was bedeutet, dass es in diesen Systemen Aussagen gibt, die weder bewiesen noch widerlegt werden können. Dies hat weitreichende Auswirkungen auf die Philosophie der Mathematik und die Frage nach der Natur der mathematischen Wahrheit. Kurt Gödels Theorien haben auch Auswirkungen auf die Informatik und die künstliche Intelligenz. Seine Arbeiten zur formalen Logik und den Unvollständigkeitssätzen haben die Entwicklung von Programmiersprachen und Formalen Systemen beeinflusst. Du findest wissenschaftliche Arbeiten zu Kurt Gödel als PDF und eBook, viele auch als Print-on-Demand, bei GRIN.