Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America...

closely related theorem is the Kreisel-Lacombe-Shoenfield-Tseitin theorem, which was obtained independently by Georg Kreisel, Daniel Lacombe and Joseph R...

edition, 1995) ISBN 0-684-80158-2 Georg Kreisel: a Few Personal Recollections. In: Kreiseliana: About and Around Georg Kreisel (1996), pp. 25–32. ISBN 1-56881-061-X...

died in Vienna Hans Köchler (born 1948), philosopher, born in Schwaz Georg Kreisel (1923–2015), philosopher and mathematician Alexius Meinong (1853–1920)...

Kreisel is a surname. Notable people with the surname include: Franz Kreisel (1890-1960), hockey Georg Kreisel (1923-2015), logician Henry Kreisel (1922-1991)...

Kotarbiński (Poland, 1886–1981) Robert Kowalski (US, UK, born 1941) Georg Kreisel (Austria/Britain/US, 1923–2015) Saul Kripke (US, 1940–2022) Leopold...

exhibiting some concrete upper bound for the first sign change. According to Georg Kreisel, this was at the time not considered obvious even in principle. These...

1968 and his PhD in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at...

field". In Odifreddi, Piergiorgio (ed.). Kreiseliana: About and Around Georg Kreisel. Wellesley: Peters. pp. 441–467. ISBN 978-1-56881-061-4. Scott W. Williams...

generalized recursion theory to higher-order functionals. Kleene and Georg Kreisel studied formal versions of intuitionistic mathematics, particularly...

the Second Theorem was noted for several decades by logicians such as Georg Kreisel and Leon Henkin, who asked whether the formal sentence expressing "This...

from Stanford University for his Ph.D. dissertation, supervised by Georg Kreisel, entitled Structural Complexity of Proofs. His achievements include...

mathematicians, among them Michael Dummett, Paul Bernays, and Georg Kreisel. Kreisel's scathing review received particular attention although he later...

analysis; Wolf Prize (1982) Cecilia Krieger (1894–1974), mathematician Georg Kreisel (1923–2015), mathematical logic Maurice Kraitchik (1882–1957), number...

who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one...

logic and philosophy of mathematics, largely under the influence of Georg Kreisel. He started teaching philosophy, first part-time at Columbia University...

Emily Elizabeth Constance Jones (Girton) Philip Kitcher (Christ's) Georg Kreisel (Trinity) Martin Kusch (unknown) Imre Lakatos (King's) Casimir Lewy...

was clarified via tools such as the realizability method invented by Georg Kreisel and Gödel's Dialectica interpretation. This work inspired the contemporary...

Keepnews, 91, American jazz record producer, executive and writer. Georg Kreisel, 91, Austrian mathematical logician. Anatoly Logunov, 88, Russian theoretical...

Decidability of the Real Exponential Field, in: Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. pp. 441–467. ISBN 9781568810614. MR 1435773...

doi:10.1016/S0019-9958(84)80009-1 – via Academia.edu. "Four letters by Georg Kreisel" (PDF). Longo, G.; Moggi, E. (December 1, 1984). "The hereditary partial...

Krausz (born 1942) Richard Kraut (born 1944) Peter Kreeft (born 1937) Georg Kreisel (1923–2015)[b][c] David Farrell Krell (born 1944) Michael Kremer Norman...

philosophers—dons and students—including Peter Geach, Peter Gray-Lucas, A.C. Ewing, Georg Kreisel, Peter Munz, Stephen Plaister, Bertrand Russell, Stephen Toulmin, John...

Meier Georg Gottlob Richter Georg Gustav Fulleborn Georg Henrik von Wright Georg Jellinek Georg Klaus Georg Kreisel Georg Kühlewind Georg Lukács Georg Mehlis...

(1874–1936)[c] Karl Christian Friedrich Krause (1781–1832)[a][b][d] Georg Kreisel (1923–2015)[c] Saul Kripke (born 1940)[a][b][c][d] Jiddu Krishnamurti...

under the supervision of Jerome Keisler. With a recommendation from Georg Kreisel, he took a position at the University of Bristol in 1965, where he spent...

realization. Typed versions of realizability have been introduced by Georg Kreisel. With it he demonstrated the independence of the classically valid Markov's...

Iris Murdoch said that the character of Marcus Vallar was based on Georg Kreisel. Conradi also notes that Murdoch's seven last novels all deal with the...

Hirzebruch Joseph Ehrenfried Hofmann Stephen Cole Kleene Antoni Kosinski Georg Kreisel Đuro Kurepa Cornelius Lanczos Derrick Henry Lehmer Yuri Linnik Jacques-Louis...

same time, she became interested in model theory through a book by Georg Kreisel and Jean-Louis Krivine [fr]. She took part in a student protest in 1968...