Programm für das dreißigste Treffen am 7. September 2017

Marc trug über Tail Calls, Proper Tail Recursion, Continuations, CPS-Transformation, Call/CC und Continuation Marks vor. Bei einem späteren Treffen könnte noch die Korrekte Implementierung von Lazy Evaluation in Programmiersprachen mit Strict Evaluation diskutiert werden.

Ingo stellte uns eine düstere Ecke der Logik vor, Gödels gefeierten Unvollständigkeitssatz, der aussagt: Es gibt Aussagen, die wahr, aber nicht beweisbar sind. Auf den ersten Blick klingt das paradox – denn wie können wir schon von einer Aussage zweifelsfrei wissen, dass sie wahr ist, wenn nicht durch einen Beweis? Ingo präsentierte die Auflösung dieses Scheinwiderspruchs.

Unsere kurze Reise durch wundersame Phänomene der Logik wird beim nächsten Treffen fortgesetzt.