Todestag von Kurt Gödel, der mathematisch beweisen konnte, dass es Gott gibt.
Kurt Gödel ist vor allem bekannt für seinen „Unvollständigkeitssatz“, einen der wichtigsten Sätze der modernen Logik. Er besagt, dass jedes formale System Sätze enthält, die man weder formal beweisen, noch widerlegen kann. Kurz gesagt zeigte Gödel, dass die Mathematik letztendlich nicht eindeutig widerspruchsfrei ist. Gödel, der 1906 im damals österreichischen, …
