Georg Kreisel

Georg Kreisel
Name	Georg Kreisel
Birth date	7 February 1923
Birth place	Graz, Austria
Death date	14 April 2015
Death place	Cambridge, England
Nationality	Austrian
Fields	Mathematical logic, Proof theory, Foundations of mathematics
Institutions	University of Cambridge, Princeton University, University of Melbourne, University of Vienna
Alma mater	University of Vienna, University of Cambridge
Doctoral advisor	Kurt Gödel

Georg Kreisel

Georg Kreisel was an Austrian-born logician and philosopher noted for deep results in proof theory, mathematical logic, and the foundations of mathematics. His work connected methods from intuitionism to techniques in set theory and influenced researchers at institutions such as University of Cambridge, Princeton University, and the University of Vienna. Kreisel is remembered for introducing novel proof-theoretic methods and for influential correspondence with figures including Kurt Gödel and Alonzo Church.

Early life and education

Kreisel was born in Graz and came of age during the interwar period in Austria, studying at the University of Vienna where he encountered scholars in the tradition of David Hilbert and Ludwig Wittgenstein. He emigrated to the United Kingdom and undertook doctoral work at the University of Cambridge under the supervision of Kurt Gödel and in the milieu of Bertrand Russell, Alonzo Church, and Alan Turing. During his formation he engaged with debates influenced by Ludwig Boltzmann-era scientific culture and the intellectual networks tied to the Vienna Circle and Wittgenstein's students.

Academic career and appointments

Kreisel held appointments and visiting positions at several prominent institutions, including the University of Cambridge, Princeton University, the University of Melbourne, and the University of Vienna. He collaborated with logicians at Harvard University, University of California, Berkeley, and the Institute for Advanced Study. Kreisel participated in conferences organized by Association for Symbolic Logic, lectured at the Mathematical Association of America meetings, and worked with contemporaries such as Gerald Sacks, Solomon Feferman, Gaisi Takeuti, and Siegfried Marcus.

Contributions to logic and foundations of mathematics

Kreisel made foundational contributions to proof theory, particularly concerning ordinal analysis, consistency proofs, and the extraction of constructive content from classical proofs. He introduced methods that influenced work in constructivism, linking ideas from L. E. J. Brouwer and Arend Heyting to formal systems studied by Gerhard Gentzen and W. W. Tait. Kreisel's results on the continuity principles, unwinding of proofs, and the role of recursion theory connected with research by Alonzo Church, Stephen Kleene, and Alan Turing. He investigated the limits of formalization highlighted by Kurt Gödel and advanced techniques related to the Kreisel ordinal and proof-theoretic interpretations used by Wilfried Sieg and Michael Rathjen.

Selected publications and theorems

Among Kreisel's notable papers are works on the analysis of proofs, presentation of constructive interpretations, and study of admissible ordinals. He published influential articles in journals alongside logicians such as Solomon Feferman and Jean van Heijenoort; his results appear in proceedings from meetings at the Institute of Philosophy, University of London and the Royal Society. Theorems bearing his influence include foundational results about proof unwinding, conservativity theorems related to Peano arithmetic and extensions considered by Gerhard Gentzen, and analyses of admissible sets connected to Dana Scott and Robin Gandy.

Honors and influence

Kreisel received recognition from bodies including the Royal Society-affiliated circles and was honored by universities such as the University of Cambridge and the University of Vienna for his contributions. His influence extended to students and colleagues including Solomon Feferman, Gerald Sacks, Michael D. Potter, and Wilfried Sieg; his methods informed research programs at the Institute for Advanced Study, the University of Melbourne, and departments across Europe and North America. Kreisel's ideas shaped subsequent developments in proof theory, constructive mathematics, and the philosophy of mathematics pursued by scholars like Hartry Field and Geoffrey Hellman.

Personal life and legacy

Kreisel maintained active correspondence with leading figures such as Kurt Gödel, Alonzo Church, Bertrand Russell, and W. V. O. Quine, preserving an intellectual archive influential to historians of logic and philosophy of mathematics. He retired in Cambridge, England where he continued to mentor scholars and contribute to seminars attended by members of Trinity College, Cambridge and the London Mathematical Society. Kreisel's legacy endures through concepts, theorems, and the impact on institutions like the Association for Symbolic Logic and the Institute for Advanced Study that continue to shape contemporary work in logic.

Category:Logicians Category:Mathematical logicians Category:Austrian mathematicians Category:1923 births Category:2015 deaths