Gödel

Im Informatikjahr kann man ruhig auch ‚mal seine Gedanken noch ein paar mehr Dekaden als hier letztens beschrieben zurück fokussieren. Ende des Monats, am 28. April, ist der hundertste Geburtstag des Mathematikers und Logikers Kurt Gödel. Gödel bewies in den 30ern des vorigen Jahrhunderts den Unvollständigkeitssatz, der gaaaanz kurz zusammengefasst bedeutet, dass es formal unentscheidbare […]