Auch als legitimer Besitzer von MCL darf man auf die neu freigegebene Version von LispWorks für OS X verweisen.

Vom Steinkeil zur IDE: gebt uns Werkzeuge!

Nach anderthalb Wochen endlich den richtigen Unix-Befehl gefunden, diesen dem Sysadmin gemailt und ausführen lassen.

Denn nach einem Serverumzug meines Providers war ich vom eigenen Weblog ausgeschlossen.

«Who is the one-who-counts?»

Brian Rotman: ad infinitum...The Ghost in Turing's Machine, Stanford University Press 1993

Welches Subjekt oder Simulacrum, welcher körperlose Agent ist es, der die - nach einem Witz von Kronecker "gottgegebenen" - natürlichen Zahlen durchläuft? Rotmans antiplatonistisches semiotisches Modell mathematischer Aktivität zielt von dieser Grundfrage aus auf nicht weniger als eine nicht-euklidische Arithmetik, die die Unendlichkeit natürlicher Zahlen, oder genauer: das ad-infinitum-Prinzip (die Sukzessor-Funktion innerhalb der Peanoschen Axiomatik) in Frage stellt. Es verhält sich hier wie beim Sorites-Problem in Syllogismen-Ketten: wann vergeht der "Haufen", wenn man in endlosen Schritten immer ein einzelnes Körnchen wegnimmt? Mit anderen Worten: das Zählen muss sich qualitativ verändern, wenn man immer weiterzählt.
Hat auch die Mathematik einen Körper, der sie beschränkt? Kann auch sie ein metacodiertes Subjekt nicht tilgen?
Und die Unendlichkeit? Was - Hergott, Mensch! - ist die Unendlichkeit? Ist sie - um mit Aristoteles zu sprechen - ein Prozess oder ein Objekt?

Ein Buch, auf das man, wie im übrigen auch auf das sehr schöne Vorgängerbuch Signifying Nothing (eine Theorie und "Geschichte" der Null) zurückkommen muss. Das Thema der (mathematischen) Unendlichkeit. Muss. Punkt.

«It is a tragic fact that your grandchildren and ours, while they can still visit Wolfenbüttel and Xi'an, will not be able to see our own parents' and grandparents' literature - despite the fact that it is far more recent.
Why? The reason is paper technology.»

Ian H. Witten, David Bainbridge: How to Build a Digital Library. MKP San Francisco 2003.

Ein hervorragendes Buch, das alle Aspekte digitaler Bibliotheken erläutert. Vielleicht lässt sich ja so mein Traum einer Bibliothek zur Schweizer Wissenschaftsgeschichte verwirklichen (diese Bernoullis und Eulers!). Die dazugehörende Software ist selbstverständlich open source und heisst Greenstone

Balsam für das Herz eines alten Lispers: Xanalys hat sich dazu entschlossen ein LispWorks für OS X herauszubringen. Beta-Tester gesucht. Von MCL warte ich immer noch auf das Release, das für Januar angekündigt war.

Mehr dazu auf meinem Lieblings-Lisp-Log.

Rimbaud était très fort en vers latin, mais médiocre en informatique. Chaque époque a sa culture savante.

Ich weiss nicht mehr, wo auf dem Ideenschwarzmarkt ich das gefunden habe, aber es sagt mir folgendes: Programme schreibt man, damit sie gelesen werden können, nicht damit sie einen Algorithmus ausführen. Begreift man das?