Stell dir vor es ist WM, und keiner geht hin?! So kann es wohl dem ein oder anderen Wissenschaftler bei der diesjaehrigen WM fuer Roboterfussball» gehen, die in diesem Jahr erstmalig in Deutschland - genauer, in Bremen - stattfindet. Vorne mit dabei ist auch wieder ein Dortmunder Team. Das ZDF bietet auf …

Ein juengst von Peter Seibel geschriebenes Buch mit dem Titel Practical Common Lisp» konnte ich heute endlich zu Ende lesen. Es behandelt, wie der Name bereits vermuten laesst, Common Lisp, dem wohl weit verbreitesten LISP-Dialekt. Nach einer kurzen Einfuehrung in alle Sprachkonstrukte, inklusive CLOS (dem Common Lisp Object System), Conditions …

Und wieder einmal konnte mich das Chaosradio des Chaos Computer Club mit einer Sendung ueber Programmiersprachen im Allgemeinen und Dylan im Besonderen» ueberzeugen. Man bekommt einen schoenen Ueberblick ueber die ganze bunte Welt der Programmiersprachen, die sich in den letzten Jahrzehnten angesammelt haben. Von imperativen Welten, wie C und Fortran …

Der Guaradian» bringt eine von "Experten" abgesegnete Top10-Liste der besten Sci-Fi-Filme heraus, die ich natuerlich hier unbedingt kommentieren moechte (muss).

Eine ganze Reihe klassischer Texte der Informatik - insbesondere Paper (oder heisst es Papers?) - verspricht Classic Texts In Computer Science». Meine Highlights darunter waeren

• An axiomatic basis for computer programming C. A. R. Hoare Ja, der Hoare-Kalkül muss einfach da rein.

• Call-by-name, call-by-value, and the lambda calculus Gordon Plotkin

• Why Functional …

Heute war ein wohl ganz besonderes Datum. Genau um 01:02:03 am 04.05.06 versprechen alle zahlenmystischen Versprechungen Wundersames.

Dies und noch viel mehr zu einigen ausgewählten Zahlen gibt es bei archimedes-lab.org».

via Mathematische Kleinigkeiten»

Unser aller Begründer der Unvllstndigkt hatte am 28. April sein 100 jähriges Jubiläum und ich habe es verpasst. Egal. Lieber zu spät als gar nicht gedenke ich hiermit feierlich einem der wohl größten mathematischen Verwirrer seiner Zeit: Kurt Gödel»:

Gödel proved fundamental results about axiomatic systems showing in any axiomatic …

Wenn ein Käse unendlich viele Löcher hat, jedes Loch jedoch unendlich klein ist, gibt es den Käse dann noch oder besteht der Käse dann nur noch aus einem Loch?

Die beiden ersten - und wohl interessantesten - Fragen und deren Antworten stehen bereits hier.

Where …