Dirk Siefkes - Böcker

The author, who died in 1984, is well-known both as a person and through his research in mathematical logic and theoretical computer science. In the first part of the book he presents the new classical theory of finite automata as unary algebras which he himself invented about 30 years ago. Many results, like his work on structure lattices or his characterization of regular sets by generalized regular rules, are unknown to a wider audience. In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata. Essentially Büchi worked independent of other rersearch, following a novel and stimulating approach. He aimed for a mathematical theory of terms, but could not finish the book. Many of the results are known by now, but to work further along this line presents a challenging research program on the borderline between universal algebra, term rewriting systems, and automata theory. For the whole book and again within each chapter the author starts at an elementary level, giving careful explanations and numerous examples and exercises, and then leads up to the research level. In this way he covers the basic theory as well as many nonstandard subjects. Thus the book serves as a textbook for both the beginner and the advances student, and also as a rich source for the expert.

J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis­ cussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite au­ tomata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story.

Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen erscheinen, manche kommen nie zu Wort, werden schweigsam. Bei noch mehr Teilnehmern ergreift man Maßnahmen: Wortmeldungen, Refer­ enten, Arbeitsgruppen; braucht man Hilfsmittel: Rednerlisten, Mikrofone; muß man laut und deutlich reden; lernt man die einzelnen nicht mehr kennen; lernt man nicht mehr, sondern sagt seine Meinung. Je größer die Gruppe, desto größer die Abstände und desto schwieriger die Verständigung. Ich kann nicht einmal denen richtig zuhören, die neben mir stehen. Die Probleme zu großer Gruppen können auch in kleinen auftreten. Während einer Ehekrise kann man auf einmal nur noch schriftlich kommunizieren; muß man Sprechzeiten festlegen; hört man nicht, was der Partner sagt; kann sich nicht mehr verständigen. Etwas ist zu groß geworden. Ob eine Gruppe groß oder klein ist, hängt nicht nur von der Anzahl ab. Also wovon dann? Mit festen Formen ermöglichen oder verbessern wir die Verständigung in größeren Gruppen: Jeder kommt mal dran; wir sprechen alle eine Sprache; wir achten uns. Aber Formen erstarren. Aus der Achtung wird Verachtung, als Höf­ lichkeit getarnt. Wir reden in Floskeln. Tuscheln hinter vorgehaltener Hand mit dem Nachbarn. Wieder kommt es nicht auf die Art der Formen an, sondern was wir daraus machen.

Dieses Buch dokumentiert einen Diskussionsprozess, der an vielen Orten stattfindet und vom Arbeitskreis "Theorie der Informatik" in der Gesellschaft fur Informatik zusammengefuhrt wird. Das Themenfeld, das festgehalten wird, umfasst wissenschaftstheoretische und philosophische Grundlagen der Informatik, gesellschaftliche, kulturelle, anthropologische und ethische Verankerungen und Perspektiven - Sichtweisen der Informatik von innen, aber auch von aussen. Es wird eine Brucke geschlagen zwischen einer technischen Wissenschaft und den damit unlosbar verbundenen Anwendungen und Auswirkungen.

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schließlich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an", schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik für Informatiker durchzuführen. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. " Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf­ logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern so wenig Beweise: Ich ent­ wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Fünf Informatikpioniere aus Deutschland, Österreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend geprägt haben, erzählen ihr Leben vor dem Hintergrund der entstehenden Informatik. Der frühe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie das Entstehen von Programmiersprachen oder die Etablierung der Disziplin. In den Gesprächen geht es weniger darum, außergewöhnliche Ereignisse oder Biographien herauszustellen, als vielmehr die Informatik in die Zeitgeschichte und die Lebensumstände des einzelnen einzubetten. Es zeigt sich, daß bei aller Zufälligkeit der Situationen und Bedingtheit der Entscheidungen persönliche Orientierung und Initiative sowie soziale und fachliche Kompetenz ausschlaggebend für den einschneidenden Fortschritt waren. Fachleute und Laien, Nutzer und Kritiker des Computers werden bei der aufschlußreichen und zugleich unterhaltsamen Lektüre Anregungen zum Überdenken eigener und gängiger Positionen finden.

Fünf Informatikpioniere aus Deutschland, Österreich und der Schweiz, die die Entwicklung ihres Fachs durch Impulse und Kritik entscheidend geprägt haben, erzählen ihr Leben vor dem Hintergrund der entstehenden Informatik. Der frühe Bau elektronischer Rechenanlagen wird dabei ebenso angesprochen wie das Entstehen von Programmiersprachen oder die Etablierung der Disziplin. In den Gesprächen geht es weniger darum, außergewöhnliche Ereignisse oder Biographien herauszustellen, als vielmehr die Informatik in die Zeitgeschichte und die Lebensumstände des einzelnen einzubetten. Es zeigt sich, daß bei aller Zufälligkeit der Situationen und Bedingtheit der Entscheidungen persönliche Orientierung und Initiative sowie soziale und fachliche Kompetenz ausschlaggebend für den einschneidenden Fortschritt waren. Fachleute und Laien, Nutzer und Kritiker des Computers werden bei der aufschlußreichen und zugleich unterhaltsamen Lektüre Anregungen zum Überdenken eigener und gängiger Positionen finden.