Raymond M. Smullyan: Gödel's Incompleteness Theorems.
Oxford Logic Guides 19. Oxford 1992

Raymond M. Smullyan: Recursion Theory for Metamathematics.
Oxford Logic Guides 22. Oxford 1993

Raymond M. Smullyan: Diagonalization and Self-Reference.
Oxford Logic Guides 27. Oxford 1994

«Talent kann bedrückend sein. Ganz sicher in den Fällen, wo es zu seiner Entfaltung des sprachlichen Ausdrucks bedarf. Ruhige Reifung des Gedankens in der Zeit kann hier mindern. Anders dagegen, wenn das Talent Grund für die Anstellung als Privatdozent an einer Universität ist.»

Lothar Kreiser: Gottlob Frege. Leben - Werk - Zeit . Felix Meiner, Hamburg 2001

Gras stirbt.
Der Mensch stirbt.
Der Mensch ist Gras.

(Bateson)

«Addition und Subtraktion sind "bösartig" und führen zur numerischen Instabilität, wenn die beiden Zahlen ungleiches (Addition) bzw. gleiches (Subtraktion) Vorzeichen haben und ungefähr gleich gross sind.

Multiplikation und Division sind "gutartige" Operationen.»

A. Angermann, M. Beuschel, M. Rau, U. Wohlfarth: Matlab-Simulink-Stateflow. Oldenbourg, München 2004.

Heute auf der Strasse über folgende Idee gestolpert: man müsste einmal das Thema der Volkskryptologie untersuchen.
Zwei Thesen:
1) Es werden eher steganographische als kryptologische Methoden verwendet.
2) Es wird ausgiebig Gebrauch von den in der Kryptologie so gefürchteten "complications illusionnaires" gemacht.

mal sehen...

Die Logik als innere Landschaft. Zu wissen: ich befinde mich jetzt in einem Herbrand-Universum. Oder auf dem "Planeten" G5. Die "Reisemöglichkeiten".