Georg Kreisel
Georg Kreisel · Science & Medicine
Mathematical logic and proof theory
1923, Graz, Austria — 2015, Salzburg, Austria
United Kingdom · Stanford, California
Georg Kreisel is recognized among Jewish contributors to Science & Medicine — Mathematical logic and proof theory
Georg Kreisel was a mathematical logician known for his work in proof theory, recursion theory and the 'unwinding' of proofs to extract explicit mathematical content, and for his 'no-counterexample interpretation'. He worked at Reading, the Institute for Advanced Study and Stanford, and was elected a Fellow of the Royal Society. He came from a Jewish family in Graz and was sent to Britain before the 1938 Anschluss.
Verify and go deeper with these external references.
Source: Jinfo.org — Jews in Mathematics
Mathematical logic and proof theory
Source: Jinfo.org — Jews in Mathematics
Similar Contributors
Solomon Feferman
Paul Bernays
Edward Witten
James Ax
Bernard Dwork
