Verifikation

Das ist eine Geschichte, die mir vor Jahren ein Softwareentwickler erzählt hat, der in der Gemeinschaft der Gregorian Friars lebt.

Einer seiner Freunde hat an einem kleinen College in Mathematik promoviert. Er hat über eine Menge mit einigen sehr spannenden Eigenschaften geforscht und wirklich interessante Dinge über sie herausgefunden. Er hatte das Gefühl, endlich fertig zu sein, reichte die Arbeit ein und musste sie, wie das so Usus ist, verteidigen. Da es ein kleines College war, geschah das vor dem gesamten Kollegium der Professor:innen. Man folgte seinen Ausführungen gespannt, und dann kam es an die Zeit, Fragen zu stellen. Ein Physik-Professor lobte ihn und sagte, ob er denn auch noch eben beweisen könne, dass es diese Menge tatsächlich gibt.

Na klar, sagte er, aber jetzt nicht so direkt aus dem Stand. Man verabredete sich für ein paar Tage später, um das Kolloquium fortzusetzen, damit er dann seinen Beweis nachreichen könne.

Und dann kamen die schrecklichsten Tage seines Lebens. Auch Alkohol war involviert — denn der junge Mann stellte fest, dass es nur eine einzige Menge gibt, die seinen Bedingungen genügt: die leere Menge. Und so hat er jahrelang wunderbare Eigenschaften der leeren Menge erforscht …

Wenig überraschend blieb er unpromoviert.