Bøger i Logik Und Grundlagen Der Mathematik serien

System und Einheit unter den Bedingungen zunehmender wechselseitiger Penetration.

Die ständige Entwicklung der Wissenschaft, deren Ergebnisse die Welt immer schneller verändern, hat wahrscheinlich bei Dmen Verwunderung hervorgerufen, die nicht ohne Angst geblieben ist. Sicher haben Sie an die bedeutende Rolle ge­ dacht, die die Mathematik dabei spielt. In keinem Bereich ist sie unentbehrlich: Flugwesen und Schiffahrt, Eisenbahn-und Kraftverkehr, Bergwerke und Bohrwesen, hydraulische und nukleare Energiegewinnung stehen ständig unter ihrem Einfluß. Die Wissenschaftler sind nicht damit zufrieden, von der Entwicklung der Sterne bis zum Verhalten der Elektronen nur alles zu verstehen und zu erklären, sondern sie bemühen sich mit der Hilfe der Mathematik, immer größere Kraftquellen zu ent­ decken, zu untersuchen und nutzbar zu machen. So öffnet sich den jungen Wissen­ schaftlern unserer Tage wie früher den jungen Abenteurern der Zeit der großen Ent­ deckungen ein Bereich mit fesselnden Arbeiten und fruchtbaren Forschungen. In der Schule sind Sie mit der Arithmetik, der Algebra, der Elementargeometrie bekannt geworden. Wenn Sie ein gewisses Interesse für Abstraktion haben, bewun­ dern Sie wahrscheinlich die Eleganz dieser Wissenschaft und hoffen, den magischen "Sesam" zu fmden, der alle Türen des Wissens für Sie öffnen wird. Aber vielleicht haben Sie auch im Laufe Ihres Studiums - das haben wir alle durchgemacht - eine gewisse Entmutigung erlebt, als die Mathematik Du Aufnahmevermögen zu über­ steigen und Ihre Anstrengungen zu Fall zu bringen schien.

Dieses Buch ist fur die Lehrer an hoheren Schulen geschrieben, fur die, die sich auf diesen Beruf vorbereiten und fur alle diejenigen, die die Geometrie lieben. Es wird auch mit Erfolg von 15- bis 18-jahrigen Schulern unter Anleitung ihrer Lehrer verwendet werden konnen. Euklid grundete seine ebene Geometrie auf die Kongruenz von Dreiecken. Drei- undzwanzig Jahrhunderte spater definieren die Mathematiker die Ebene als einen affinen mit einem skalaren Produkt versehenen zweidimensionalen Raum. Ich habe gedacht, da unsere Schuler eine Darstellung der Geometrie brauchen, die wie bei Euklid von der sinnlich wahrnehmbaren Welt ausgeht, es ihnen aber er- laubt, recht bald die passenden und fruchtbaren Hilfsmittel der Algebra zu be- nutzen. Dieses Buch bietet also eine Axiomatik der Geometrie, die sich auf die Begriffe der Parallelen, der Senkrechten und der Entfernung grundet, aber in einer Form, die in naturlicher Weise und schnell zur algebraischen Struktur der Ebene und des Raumes fuhrt. Mehrere Kapitel sind sodann der Klarung von Fragen gewidmet, die oft als dornen- reich angesehen werden; sie betreffen die Bewegungen, die Winkel und das Win- kelma, die Orientierung. Dieses Buch verdankt viel den Diskussionen mit zahlreichen franzosischen und auslandischen Mathematikern und Lehrern. Ich danke insbesondere Herrn Andre Revuz, dessen kritische Bemerkungen und dessen Anregungen mir sehr nutzlich gewesen sind. Gustave Choquet Vorwort zur deutschen Ubersetzung In dem vorliegenden Werk hat der Verfasser, Professor an der Faculte des Sciences in Paris, seine jahrelangen Bemuhungen um einen passenden einfachen axiomatischen Aufbau der Schulgeometrie zusammengetragen.

Noch in den 30er Jahren unseres Jahrhunderts erweckten die mathematische Logik und die damals entstehende Algorithmentheorie den Anschein besonders abstrakter und von praktischen Anwendungen besonders weit entfernter mathe­ matischer Disziplinen. Heute hat sich die Situation radikal verändert. Es ist jetzt allgemein anerkannt, daß die beiden genannten Disziplinen eine theoretische Grundlage für Aufbau und Anwendungen schnell arbeitender Rechen-und Steu­ erungssysteme schaffen. Das relative Gewicht der mathematischen Logik und der Algorithmentheorie wuchs auch in der Mathematik selbst stark an. Darüber hinaus dringen gegenwärtig in beträchtlichem Maße durch die Algorithmentheorie und die mathematische Logik mathematische Methoden in die Biologie, die Lin­ guistik, die Wirtschaftswissenschaften und sogar Philosophie der Naturwissen­ schaften ein. All dies hat dazu geführt, daß die mathematische Logik und die Algorithmentheorie angefangen haben, in die Lehrpläne unserer Universitäten und pädagogischen Hochschulen als für das Studium der Mathematikstudenten aller Fachrichtungen obligatorische Disziplin einzudringen. Das vorliegende Buch ist aus der Bearbeitung von Nachschriften von Vorlesun­ gen über mathematische Logik, Algorithmentheorie und deren Anwendungen ent­ standen, die der Verfasser in den Jahren 1956-1959 an der pädagogischen Hoch­ schule von lvanovsk und seit dem Jahr 1960 an der Universität Novosibirsk gehalten hat. In ihm wird nur die allgemeine Theorie der Algorithmen und der rekursiven Funktionen entwickelt. Ganz außerhalb des Rahmens des Buches blieben die Komplexe Auto· matentheorie, Anwendungen der Algorithmentheorie auf formale Theorien und Theorie der Unlösbarkeitsgrade. Eine irgendwie ausführliche Darstellung dieserDisziplinen zum gegenwärtigen Zeitpunkt bedarf besonderer Einzeldar­ stellungen.