Georg Kreisel information

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...

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

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...

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...

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

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

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

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...

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

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

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

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

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...

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

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

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...

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

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...

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...

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

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...

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