»Es gibt einen Unterschied zwischen der Wahrheit und dem Teil der Wahrheit, der sich beweisen läßt; das ist in Wirklichkeit ein Folgesatz von Tarski zu Gödels Theorem«, sagte Seldom. »Natürlich wußten Richter, Gerichtsmediziner oder Archäologen das lange vor den Mathematikern. Nehmen wir ein Verbrechen mit nur zwei möglichen Verdächtigen. Jeder von den beiden kennt die ganze entscheidende Wahrheit: ich war es oder ich war es nicht. Doch die Justiz hat keinen direkten Zugang zu dieser Wahrheit und muß einen mühseligen indirekten Weg einschlagen, um Beweise zu sammeln: Verhöre, Alibis, Fingerspuren ... Zu oft reichen die gefundenen Hinweise nicht aus, um entweder die Schuld des einen oder die Unschuld des anderen nachzuweisen. Und im Grunde demonstrierte Gödel 1930 mit seinem Unvollständigkeitssatz, daß genau dasselbe in der Mathematik der Fall ist. Der auf Aristoteles und Euklid zurückgehende Mechanismus des Wahrheitsbeweises, die stolze Maschinerie, die von einigen wenigen wahren Aussagen als unwiderlegbare Grundvoraussetzungen ausgeht und sich mit streng logischen Schritten auf die Erkenntnis zubewegt, die axiomatische Methode also, kann bisweilen schlicht genauso unzulänglich sein wie die heiklen Kriterien der Justiz.«

Diesen Link hatte ich schon im vergangenen Jahr, aber Ostern kommt ja auch jedes Jahr wieder.

The reticent and relentlessly abstract logician Kurt Gödel might seem an unlikely candidate for popular appreciation. But that's what Rebecca Goldstein aims for in her new book Incompleteness, an account of Gödel's most famous theorem, which was announced 75 years ago this October.
(by Jordan Ellenberg)

The Turing Digital Archive contains mainly unpublished personal papers and photographs of Alan Turing from 1923-1972.

Need a zero-volume bottle?
Searching for a one-sided surface?
Want the ultimate in non-orientability?
Get an ACME KLEIN BOTTLE!

Und wem so ein kleines bodenloses Fläschchen nicht reicht:
Steven Whittaker preist Kleinsche Eigentumswohnungen an.

(gesehen in wood_s_lot)