Ernst Specker

Ernst Specker, 1982

Ernst Paul Specker (né le 11 février 1920 à Zurich ; † le 10 décembre 2011 là-bas ) était un mathématicien suisse .

La vie

Specker, né en 1920, a grandi à Zurich et à Davos , où il a suivi un traitement au sanatorium pour la tuberculose (qui a conduit à une invalidité permanente) dans sa jeunesse et où vivait sa grand-mère. À partir de 1940, il étudie les mathématiques à l' ETH Zurich avec Michel Plancherel , Ferdinand Gonseth , Heinz Hopf , W. Saxer, Paul Bernays et Beno Eckmann et Paul Finsler à l'Université de Zurich. Il est diplômé de Hopf avec un sujet de topologie et a été assistant à l'ETH à partir de 1945. En 1948, il y reçut son doctorat, également en topologie. En 1949/50, il était surInstitute for Advanced Study à Princeton , où il a entendu Carl Ludwig Siegel et Alonzo Church et a rencontré Kurt Gödel . En 1951, après son habilitation, il devient maître de conférences à l'ETH et en 1955 professeur . Il a enseigné à l'ETH de 1955 à 1987.

Specker était particulièrement concerné par la logique mathématique et la théorie des ensembles axiomatiques . En 1967, il publie un théorème important de la mécanique quantique avec Simon Bernard Boiling , le théorème dit de Boiling-Specker , qui prouve l'impossibilité d'un modèle non contextuel avec des variables cachées de la mécanique quantique.

Il était marié depuis 1956 et avait trois enfants.

Specker a également publié un volume de courts sermons, donnés de 1993 à 1995 à la Predigerkirche de Zurich ("Comme un voleur dans la nuit").

Publications

• Le premier groupe de cohomologie des superpositions et des propriétés d'homotopie des variétés tridimensionnelles , Zurich: Art. Inst. Orell Füssli, 1949 ( mémoire )
• L'axiome du choix dans les Nouvelles Fondations de Quine pour la logique mathématique , dans: PNAS , Vol.39, No. 9 (15 septembre 1953), pp. 972-97
• Théorèmes d'analyse, qui ne peuvent être prouvés de manière constructive, Journal of Symbolic Logic Vol.14 (1949), pp.145-158
• Selecta , Birkhäuser, Bâle, Berlin, 1990
• Le développement de la théorie des ensembles axiomatiques , rapport annuel DMV ( Association allemande des mathématiciens ), Vol.81, 1978, pp. 13-21
• Der Winkel , Teamart, Zurich, 2006
• Comme un voleur dans la nuit , TVZ, Zurich, 2008

liens web

• John J. O'Connor, Edmund F. Robertson :  Ernst Specker. Dans: Archives MacTutor History of Mathematics .
• Urs Stammbach: Ernst Specker. Dans: Lexique historique de la Suisse .

Preuve individuelle

1. ↑ Archive de diffusion de la liste logique