Im Institut angekommen, überrascht mich das Thermometer an der Pförtnerloge dann doch: –6°.

(ohne Worte)

Es schneit. Dabei war doch gestern noch Herbst.

Als du eine halbe Stunde später mit zwei Polizeibeamten wiederkommst, ist von dem blutigen Menschen nichts mehr zu sehen. Auf euer Klingeln antworten auch keine finsteren Gesellen, sondern ein distinguierter älterer Herr. Die Diele ist sehr sauber und mit sehr teuer aussehenden antiqarischen Möbeln eingerichtet.

Nein, Handgreiflichkeiten habe es hier nicht gegeben. Dies sei auch nicht Haus Nummer 13, sondern die 16. Die ungeraden seien auf der anderen Straßenseite. Da müssen Sie sich geirrt haben, mein Herr.

Kennt ihr das?

Ups. Meine Fantasie…

Aber mal im Ernst: als vor knapp zwei Wochen mein Twitter-Client anfing, etwas von Authentication zu faseln, habe ich noch an ein vorübergehendes Problem auf Serverseite gedacht. Ein paar Tage später gab es immer noch keine neuen Tweets, und ich habe mein Paßwort neu eingegeben — kein Erfolg. Ein kurzer Gegentest: Auf twitter.com funktioniert es noch.

Vielleicht ist jetzt der Zeitpunkt, den Menüpunkt Check for new version auszuprobieren? Nein, meine Version ist die neueste. Noch ein paar Tage später probiere ich es dann auf der Homepage meines Clients. Die Domain ist durchaus noch registriert, nur zeigt sie jetzt auf ein Projekt zur Softwarequalitätskontrolle. Ich probiere noch die Suchfunktion, aber auch die verleugnet den armen Twitter-Client.

Nun ja, lange Rede, kurzer Sinn: Ich habe mich nach einem Nachfolger umgesehen. Ich mag keine Adware, kein AIR, und in diesem Falle auch keine kommerzielle Software.

Für’s erste bin ich bei Nambu gelandet.

Neu war mir dagegen Malbolge: diese Sprache ist sozusagen die achte Hölle für Programmierer, denn sie ist darauf ausgelegt, möglichst schwer beherrschbar zu sein. So hat es zum Beispiel zwei Jahre gedauert, bis das erste Malbolge-Programm entwickelt war. Wohlgemerkt: es geht hier nicht um irgendetwas Praxistaugliches, sondern um ein Mini-Programm, das nichts weiter tut als Hello World auszugeben.

Irgendwie bin ich außerdem bei eher unhandlichen mathematischen Konzepten gelandet, zum Beispiel bei der Ackermannfunktion: die Idee ist hier, eine möglichst schnell wachsende Funktion zu konstruieren. In der Praxis gelten exp(x) und die Fakultät (n!) schon als schnell wachsend, aber de Ackermannfunktion stellt diese noch in den Schatten, indem sie die Reihe a+b, a·b, a^b, … sinnvoll fortsetzt.

Ja, und von dort war es auch nicht mehr weit bis zu den aberwitzig großen Zahlen. Ich rede hier nicht von so Winzigkeiten wie etwa der Zahl der Atome im Universum — im Netz findet man unter anderem die Schätzung 10⁷⁸. Das ist zwar eine Eins mit 78 Nullen, aber die läßt sich ja mithilfe der in der Physik üblichen Exponentialschreibweise noch ganz kompakt darstellen. Zur Not paßt 1000000000000000000000000000000000000000000000000000000000000000000000000000000 sogar ausgeschrieben noch in eine Zeile.

Grahams Zahl — laut Guinness’ Buch der Rekorde die größte in einem mathematischen Beweis verwandte Zahl — ist von anderem Kaliber. Man schreibt sie kurz als G₆₄, wobei natürlich G noch definiert werden muß. Lange Erklärungen spare ich mir hier, nur soviel sei gesagt: G₀=4, aber G₁ ist bereits so groß, daß es sich auch in der Exponentialdarstellung nicht mehr aufschreiben läßt. G₂ ist dann entsprechend viel gigantischer, und so weiter.

Gute Nacht!

[Edit: 10⁵⁴<10⁷⁸]

Wieder zu Hause stand der Besuch auch schon vor der Tür. Also erstmal Brunch, und dann –

eigentlich hatten wir uns ja auf Runewars gefreut, aber das hat die hither shore ja noch nicht erreicht; also war nach längerer Zeit wieder ein Ausflug zu den Old Ones angesagt.

Das hat Spaß gemacht, obwohl wir (und ganz Arkham) am Schluß leider einem Erdbeben zum Opfer gefallen sind. Eine Lawine erschiene mir gerade allerdings realistischer…

Hinterher haben wir Ally noch einen kurzen Besuch abgestattet.

So, und bevor ich hier über der Tastatur einschlafen, werde ich mich mal ins Bett begeben.