Ernst Specker

Ernst Specker, 1982

Ernst Paul Specker (n . 11 februarie 1920 la Zurich ; † 10 decembrie 2011 acolo ) a fost un matematician elvețian .

Viaţă

Specker, născut în 1920, a crescut în Zurich și Davos , unde a suferit un tratament sanatoriu pentru tuberculoză (care a dus la o dizabilitate permanentă) în tinerețe și unde locuia bunica sa. Din 1940 a studiat matematica la ETH Zurich cu Michel Plancherel , Ferdinand Gonseth , Heinz Hopf , W. Saxer, Paul Bernays și Beno Eckmann și Paul Finsler la Universitatea din Zurich. A absolvit Hopf cu un subiect de topologie și a fost asistent la ETH din 1945. În 1948 și-a luat doctoratul acolo, tot în topologie. În 1949/50 a fost la Institutul de Studii Avansate din Princeton , unde a auzit de la Carl Ludwig Siegel și Biserica Alonzo și l-a cunoscut pe Kurt Gödel . În 1951, după abilitare, a devenit lector privat la ETH și în 1955 profesor . A predat la ETH din 1955 până în 1987.

Specker era preocupat în special de logica matematică și de teoria axiomatică a mulțimilor . În 1967 a publicat o importantă teoremă a mecanicii cuantice cu Simon Bernard Boiling , așa-numita teoremă Boiling-Specker , care dovedește imposibilitatea unui model non-contextual cu variabile ascunse ale mecanicii cuantice.

Era căsătorit din 1956 și avea trei copii.

Specker a publicat, de asemenea, un volum de predici scurte, ținute între 1993 și 1995 în Predigerkirche Zurich („Ca un hoț în noapte”).

Publicații

• Primul grup de cohomologie a suprapunerilor și a proprietăților de homotopie ale varietăților tridimensionale , Zurich: Art. Inst. Orell Füssli, 1949 ( disertație )
• Axioma alegerii în Noile fundații ale lui Quine pentru logica matematică , în: PNAS , Vol. 39, Nr. 9 (15 septembrie 1953), pp. 972-97
• Teoreme de analiză, care nu pot fi dovedite în mod constructiv, Journal of Symbolic Logic Vol. 14 (1949), pp. 145-158
• Selecta , Birkhäuser, Basel, Berlin, 1990
• Dezvoltarea teoriei axiomatice a seturilor , raport anual DMV ( German Mathematicians Association ), Vol. 81, 1978, pp. 13-21
• Der Winkel , Teamart, Zurich, 2006
• Ca un hoț în noapte , TVZ, Zurich, 2008

Link-uri web

• John J. O'Connor, Edmund F. Robertson :  Ernst Specker. În: arhiva MacTutor History of Mathematics .
• Urs Stammbach: Ernst Specker. În: Lexicon istoric al Elveției .

Dovezi individuale

1. ↑ Arhiva de expediere a listei logice