Full Description
Ernst Specker has made decisive contributions towards shaping direc tions in topology, algebra, mathematical logic, combinatorics and algorith mic over the last 40 years. We have derived great pleasure from marking his seventieth birthday by editing the majority of his scientific publications, and thus making his work available in a unified form to the mathematical community. In order to convey an idea of the richness of his personality, we have also included one of his sermons. Of course, the publication of these Selecta can pay tribute only to the writings of Ernst Specker. It cannot adequately express his originality and wisdom as a person nor the fascination he exercises over his students, colleagues and friends. We can do no better than to quote from Hao Wang in the 'Festschrift' Logic and Algorithmic I: Specker was ill for an extended period before completing his formal education. He had the leisure to think over many things. This experi ence may have helped cultivating his superiority as a person. In terms of traditional Chinese categories, I would say there is a taoist trait in him in the sense of being more detached, less competitive, and more under standing. I believe he has a better sense of what is important in life and arranges his life better than most logicians. We are grateful to Birkhauser Verlag for the production of this Selecta volume. Our special thanks go to Jonas Meon for sharing with us his intimate knowledge of his friend Ernst Specker.
Contents
Selecta.- Die erste Cohomologiegruppe von Überlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten (1949).- Nicht konstruktiv beweisbare Sätze der Analysis (1949).- Sur un problème de Sikorski (1949).- Enden verbände von Räumen und Gruppen (1950).- Additive Gruppen von Folgen ganzer Zahlen (1950).- The axiom of choice in Quine's new foundations for mathematical logic (1953).- Die Antinomien der Mengenlehre (1954).- Verallgemeinerte Kontinuumshypothese und Auswahlaxiom (1954).- Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom) (1957).- Teilmengen von Mengen mit Relationen (1957).- Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie (1957).- Der Satz vom Maximum in der rekursiven Analysis (1957).- Dualität (1958).- Die Logik nicht gleichzeitig entscheidbarer Aussagen (1960).- Modelle der Arithmetik (1961).- On a theorem in the theory of relations and a solution of a problem of Knaster (1961).- Typical ambiguity (1962).- Isomorphism types of trees (1964).- Logical structures arising in quantum theory (1965).- The calculus of partial propositional functions (1965).- The problem of hidden variables in quantum mechanics (1967).- The fundamental theorem of algebra in recursive analysis (1967).- Lengths of formulas and elimination of quantifiers I (1968).- Die Entwicklung der axiomatischen Mengenlehre (1978).- Algorithmische Kombinatorik mit Kleinrechnern (1978).- Complexity of partial satisfaction (1979).- Wie in einem Spiegel (1985).- Application of logic and combinatorics to enumeration problems (1988).- Postmoderne Mathematik: Abschied vom Paradies? (1988).- Die Logik oder die Kunst des Programmierens (1989).- Comments.- Acknowledgements.- Authors of comments.
