Wolfgang Thomas Bücher

Am 12. August 2002 öffnete sich über dem östlichen Erzgebirge ein unheimlicher Regenhimmel, der die Weißeritz in einen reißenden, braunen Strom verwandelte. Straßen wurden unterspült, Eisenbahnschienen und Häuser wegrissen, während die Talsperren drohten überzulaufen. Der Dresdner Hauptbahnhof stand unter Wasser, und das kleine Flüsschen Weißeritz wurde über Nacht in ganz Deutschland bekannt. Heute sind die Wunden geheilt, und die Weißeritz hat sich in ihre Flussläufe zurückgefunden. Vor ihrer Vereinigung führten die Rote und Wilde Weißeritz ein eigenwilliges Dasein. Während die Rote Weißeritz sich mit Dörfern und Städten anfreundete und von Straßen, Bahngleisen und Industrie gesäumt wurde, fand die Wilde Weißeritz Ruhe in Wäldern und Wiesen. In ihren frühen Tagen trieben beide Flüsse Wassermühlen an und transportierten Holz aus dem Gebirge bis vor die Tore Dresdens. Sie schleppten zwar keine langen Flöße, aber tausende Stücke Scheitholz, die als bevorzugtes Brennmaterial in der Stadt benötigt wurden. Diese Dienstbarkeit nahm ab Mitte des 19. Jahrhunderts ab, und die letzte Flößerei auf der Wilden Weißeritz fand 1875 statt. Der Bildband stellt das Gebiet der beiden Weißeritzen umfassend dar und bietet eine Zeitreise zwischen den letzten Monaten der DDR und der Gegenwart.

Die mathematische Logik hat sich seit dem Ende des 19. Jahrhunderts als eigenständige Disziplin entwickelt. Boole, HIlbert u.a. haben daran entscheidenden Anteil. Charakteristische Elemente finden sich allerdings bereits in der traditionellen, der Philosophie verhafteten Logik (so Aristoteles, Leibniz). Ebbinghaus, Flum und Thomas belegen in diesem einführenden Lehrbuch die Prägung der mathematischen Logik durch die Mathematik: Durch Motivation und Zielsetzung, durch die Methode und schließlich durch die Anwendung in der Mathematik selbst. Auf Anwendungen in der Informatik wird am Beispiel der Logik-Programmierung eingegangen. Die 4. Auflage eines vielbeachteten, handlichen Werkes!