AI & ChatGPT searches , social queriess for GEORG KREISEL
Search references for GEORG KREISEL. Phrases containing GEORG KREISEL
See searches and references containing GEORG KREISEL!
Search references for GEORG KREISEL. Phrases containing GEORG KREISEL
See searches and references containing GEORG KREISEL!GEORG KREISEL
Austrian logician (1923–2015)
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
Georg_Kreisel
Generalization of Rice's theorem
related theorem is the Kreisel–Lacombe–Shoenfield–Tseitin theorem (or KLST theorem), which was obtained independently by Georg Kreisel, Daniel Lacombe and
Rice–Shapiro_theorem
Surname list
Kreisel is a surname. Notable people with the surname include: Franz Kreisel (1890–1960), German ice hockey player Georg Kreisel (1923–2015), Austrian
Kreisel_(surname)
died in Vienna Hans Köchler (born 1948), philosopher, born in Schwaz Georg Kreisel (1923–2015), philosopher and mathematician Alexius Meinong (1853–1920)
List_of_Austrians
English physicist and biologist (1916–2004)
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
Francis_Crick
Subfield of mathematics
generalized recursion theory to higher-order functionals. Kleene and Georg Kreisel studied formal versions of intuitionistic mathematics, particularly
Mathematical_logic
Large number used in number theory
exhibit some concrete upper bound for the first sign change. According to Georg Kreisel, this was not considered obvious even in principle at the time. Skewes
Skewes's_number
Major unsolved problem in transcendental number theory
field". In Odifreddi, Piergiorgio (ed.). Kreiseliana: About and Around Georg Kreisel. Wellesley: Peters. pp. 441–467. ISBN 978-1-56881-061-4. Kirby, Jonathan
Schanuel's_conjecture
1956 work by philosopher Ludwig Wittgenstein
mathematicians, among them Michael Dummett, Paul Bernays, and Georg Kreisel. Kreisel's scathing review received particular attention although he later
Remarks on the Foundations of Mathematics
Remarks_on_the_Foundations_of_Mathematics
Hirzebruch Joseph Ehrenfried Hofmann Stephen Cole Kleene Antoni Kosinski Georg Kreisel Đuro Kurepa Cornelius Lanczos Derrick Henry Lehmer Yuri Linnik Jacques-Louis
List of International Congresses of Mathematicians Plenary and Invited Speakers
List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers
Dutch mathematician (1939–2019)
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
Anne_Sjerp_Troelstra
analysis; Wolf Prize (1982) Cecilia Krieger (1894–1974), mathematician Georg Kreisel (1923–2015), mathematical logic Maurice Kraitchik (1882–1957), number
List_of_Jewish_mathematicians
Kotarbiński (Poland, 1886–1981) Robert Kowalski (US, UK, born 1941) Georg Kreisel (Austria/Britain/US, 1923–2015) Saul Kripke (US, 1940–2022) Leopold
List_of_logicians
Krausz (1942–2025) Richard Kraut (born 1944) Peter Kreeft (born 1937) Georg Kreisel (1923–2015)[b][c] David Farrell Krell (born 1944) Michael Kremer Norman
List of philosophers born in the 20th century
List_of_philosophers_born_in_the_20th_century
American computer scientist (born 1946)
from Stanford University for his Ph.D. dissertation, supervised by Georg Kreisel, entitled Structural Complexity of Proofs. His achievements include
Richard_Statman
Italian mathematician
1016/S0019-9958(84)80009-1.[non-primary source needed] "Four letters by Georg Kreisel" (PDF). Longo, G.; Moggi, E. (December 1984). "The hereditary partial
Giuseppe_Longo
Emily Elizabeth Constance Jones (Girton) Philip Kitcher (Christ's) Georg Kreisel (Trinity) Martin Kusch (unknown) Imre Lakatos (King's) Casimir Lewy
List of University of Cambridge people
List_of_University_of_Cambridge_people
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
Tarski's exponential function problem
Tarski's_exponential_function_problem
was clarified via tools such as the realizability method invented by Georg Kreisel and Gödel's Dialectica interpretation. This work inspired the contemporary
History_of_logic
French-American mathematical historian
logic and philosophy of mathematics, largely under the influence of Georg Kreisel. He started teaching philosophy, first part-time at Columbia University
Jean_van_Heijenoort
Axiomatization of arithmetic
realization. Typed versions of realizability have been introduced by Georg Kreisel. With it he demonstrated the independence of the classically valid Markov's
Heyting_arithmetic
American philosopher and logician (1940–1996)
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
George_Boolos
Philosophical discussion group
philosophers—dons and students—including Peter Geach, Peter Gray-Lucas, A.C. Ewing, Georg Kreisel, Peter Munz, Stephen Plaister, Bertrand Russell, Stephen Toulmin, John
Cambridge University Moral Sciences Club
Cambridge_University_Moral_Sciences_Club
British mathematician and logician
terminating proof systems. Additionally he settled a question posed by Georg Kreisel in 1971 on the relationship between cut-elimination, substitution and
Roy_Dyckhoff
Keepnews, 91, American jazz record producer, executive and writer. Georg Kreisel, 91, Austrian mathematical logician. Anatoly Logunov, 88, Russian theoretical
Deaths_in_March_2015
Dutch logician (born 1947)
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
Henk_Barendregt
Arc February 1 – Irving Singer, US academic and author, 89 March 1 – Georg Kreisel, Austrian-born mathematical logician, 91 May 9 – Odo Marquard, German
2015_in_philosophy
British logician and mathematician (1938-2009)
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
Frederick_Rowbottom
Novel by Iris Murdoch
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
The_Message_to_the_Planet
French mathematician
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
Michèle_Artigue
Edward Kent Desmond George King-Hele Sir Francis Gerald William Knowles Georg Kreisel Sir Cyril Edward Lucas James Dwyer McGee Sir James Woodham Menter Arthur
List of fellows of the Royal Society elected in 1966
List_of_fellows_of_the_Royal_Society_elected_in_1966
John Richard Krebs 15 March 1984 Von Kreienberg 11 June 1713 - ? 1743 Georg Kreisel 17 March 1966 David Krieg 11 January 1699 1669 – 23 July 1710 Physician
List of fellows of the Royal Society J, K, L
List_of_fellows_of_the_Royal_Society_J,_K,_L
Swiss-American mathematician (1923–2016)
Teubner Verlagsgesellschaft. ISBN 978-3-8154-2023-2. Huber-Dyson, Verena; Kreisel, Georg (1961). "Analysis of Beth's Semantic Construction of Intuitionistic
Verena_Huber-Dyson
Branch of mathematics that studies sets
incompleteness theorems after having only read the abstract. As reviewers Kreisel, Bernays, Dummett, and Goodstein all pointed out, many of his critiques
Set_theory
career. Lutz Kreisel was the chief stage designer of the Mecklenburg State Theatre from 1971-2007. Seitz, Alex (2023), Bühnenbildner Lutz Kreisel: Ausstellung
Mecklenburg_State_Theatre
Formalization of the natural numbers
Scandinavica. 2: 247–261. doi:10.7146/math.scand.a-10412. MR 0087614. Kreisel, Georg (1960). "Ordinal logics and the characterization of informal concepts
Primitive recursive arithmetic
Primitive_recursive_arithmetic
King of Bavaria from 1864 to 1886
April 1879 (Petzet 1970, p. 138) Nöhbauer 1998, p. 18. Evers 1986, p. 228. Kreisel 1954, p. 82. Dollmann 1884 Schultze 1884 Hofmann 1886 Hojer, Schmid & Petzet
Ludwig_II_of_Bavaria
1986 nuclear accident in the Soviet Union
(4): 251–260. doi:10.1016/j.clon.2011.01.510. PMC 3107017. PMID 21396807. Kreisel, W. (May 1995). "International program on the health effects of the Chernobyl
Chernobyl_disaster
Mathematical logician and philosopher
and Belgium - had a weaving mill and finishing shop, no spinning mill. Kreisel, G. (1980). "Kurt Godel. 28 April 1906–14 January 1978". Biographical Memoirs
Kurt_Gödel
Association football club in Germany
to move the ball. This system would later become famous as the Schalker Kreisel (English: spinning top; gyroscope).[citation needed] In 1927, it carried
FC_Schalke_04
Medieval Jewish philosopher (1135/1138–1204)
significance. See, for example, the "Introduction" sub-chapter by Howard Kreisel to his overview article "Moses Maimonides", in History of Jewish Philosophy
Maimonides
English philosopher and logician (1872–1970)
May 2020 at the Wayback Machine (Stanford Encyclopedia of Philosophy) Kreisel, G. (1973). "Bertrand Arthur William Russell, Earl Russell. 1872–1970"
Bertrand_Russell
1921 book by Bertrand Russell
London School of Economics and Political Science. Retrieved 2025-09-08. Kreisel, Georg (1997). "Bertrand Arthur William Russell, Earl Russell, 1872-1970".
The_Analysis_of_Mind
German physicist (1894–1956)
1919 to 1920, he attended the Georg August University of Göttingen. In 1920, he went to Kiel University. With Walther Kreisel as his advisor, he was awarded
Christian_Gerthsen
1978, for Rep. Budzislawski moved up Rosemarie Krautzig CDU Heiderose Kreisel LDPD Egon Krenz FDJ Member of the Presidium of the People's Chamber Kurt
List of members of the seventh Volkskammer
List_of_members_of_the_seventh_Volkskammer
passing to move the ball, later becoming famously known as the Schalker Kreisel. With the re-organisation of German football in 1933, under Nazi Germany
List of FC Schalke 04 managers
List_of_FC_Schalke_04_managers
Philosophical Logic. Blackwell Publishing. p. 517. ISBN 9780631216711. Kreisel, Georg (1958). "A remark on free choice sequences and the topological completeness
Choice_sequence
German athlete and football coach
captivity. According to the article "Searching for clues" in the Schalker Kreisel of 28 April 2012, "an affidavit [...] dates his death to February 1946"
Otto_Faist
involving a statement that claims its own unprovability or unknowability. Kreisel-Putnam logic A logic developed to handle higher-order quantification and
Glossary_of_logic
Bobsleigh venue in Igls, Austria
Three turns in quick succession without a straight (labyrinth) 7. Kreisel 270-degree Kreisel (circular) curve 11., 12., 13. Lower labyrinth Three turns in
Olympic Sliding Centre Innsbruck
Olympic_Sliding_Centre_Innsbruck
Species of fungus
based on this name, Collybia amanitae, was published by Hanns Kreisel in 1987. However, Kreisel noted the combination to be "ined.", indicating that he did
Collybia_cirrhata
Class of chemical compounds
Compounds. 184 (1): 131–138. doi:10.1016/0925-8388(92)90461-h. Perrier, Ch.; Kreisel, J.; Vincent, H.; Chaix-Pluchery, O.; Madar, R. (1997). "Synthesis, crystal
Phosphidosilicates
Austrian nobleman, diplomat and politician
Zeitschrift (Minerva: illustrated Military-Scientific Journal) (in German). Kreisel & Gröger. 1893. p. 8. Retrieved 4 April 2025. Casanova, Giacomo (6 February
Philipp_von_Orsini-Rosenberg
German mathematician (1849–1925)
Geometry via Internet Archive 1897: (with Arnold Sommerfeld) Theorie des Kreisels (later volumes: 1898, 1903, 1910) Fricke, Robert; Klein, Felix (1897),
Felix_Klein
Axiomatic set theories based on the principles of mathematical constructivism
{\displaystyle w} is related to the execution of e {\displaystyle e} . Kreisel proved that the class of partial recursive functions proven T 1 {\displaystyle
Constructive_set_theory
Development of linear transformations forming the Lorentz group
Klein, F.; Sommerfeld A. (1910). Noether, Fr. (ed.). Über die Theorie des Kreisels. Heft IV. Leipzig: Teuber. Klein, F. (1911). Hellinger, E. (ed.). Elementarmethematik
History of Lorentz transformations
History_of_Lorentz_transformations
Novel by Canadian writer Lawrence Hill
Sir, I Intend to Burn Your Book". An Anatomy of a Book Burning. Henry Kreisel Memorial Lecture Series. University of Alberta Press, 2011 Hill, Lawrence
The_Book_of_Negroes_(novel)
Kuhse-Kemper; Laurie Anne Kocher; Knut Kuhse; Barbara Funke; Stephan Maahs; Georg Knauf (2012). "Walks, Shops and Nightlife". Nature Park Travel - Europe
Geography_of_Berlin
German architect
ISBN 978-3-598-23035-6, p. 20 f. (in German) Heinrich Kreisel: Die Kunst des deutschen Möbels. Vol. 3 (bearbeitet von Georg Himmelheber) 2. Auflage, Munich 1983 (in
Ernst_Haiger
1 1932 6 0 1 1 2 Bronze (1932) Reiner Kossmann 1 1956 4 0 0 0 0 Franz Kreisel 1 1928 2 0 0 0 0 Walter Kremershof 1 1952 8 5 1 6 0 Daniel Kreutzer 2 2002
List of Olympic men's ice hockey players for Germany
List_of_Olympic_men's_ice_hockey_players_for_Germany
Francisco Symphony" Peter Martin Werner Schüler 57 12 5 Séverine "Dreh dich im Kreisel der Zeit" Peter Orloff Elisabeth Bertram 97 7 6 Joy Fleming "Ein Lied kann
Germany in the Eurovision Song Contest 1975
Germany_in_the_Eurovision_Song_Contest_1975
Klöcker 1862 1923 Klöcker František Kotlaba 1927 2020 Kotl. Hanns Kreisel 1931 2017 Kreisel Louis Charles Christopher Krieger 1873 1940 L.Krieg. German Joseph
List_of_mycologists
GEORG KREISEL
GEORG KREISEL
Male
Russian
Variant spelling of Russian Georgiy, GEORGY means "earth-worker, farmer."
Boy/Male
Australian, French, German, Greek
Farmer
Male
Czechoslovakian
, farmer, husbandman.
Boy/Male
Hawaiian
Form of George.
Male
German
Czech and German form of Latin Georgius, GEORG means "earth-worker, farmer."
Male
Esperanto
Esperanto form of Latin Georgius, GEORGO means "earth-worker, farmer."
Boy/Male
Christian & English(British/American/Australian)
Farmer
Girl/Female
Christian & English(British/American/Australian)
Feminine of George
Male
English
English form of French Georges, GEORGE means "earth-worker, farmer."
Boy/Male
Australian, French, German, Greek
Farmer
Boy/Male
Australian, British, Danish, English, French, German, Greek, Swedish
German Form of George; Earth
Girl/Female
Christian & English(British/American/Australian)
Feminine of George
Boy/Male
Australian, Czech, Czechoslovakian, French, German, Greek, Swiss
Czech Form of George
Boy/Male
German Swedish Greek
Girl/Female
American, Australian, French, German, Latin
Farmer; Female Version of George
Boy/Male
Shakespearean American English Greek
Henry VI, Part 2' George Bevis. 'King Henry the Sixth, Part III' George, son of Richard...
Surname or Lastname
English (of Norman origin)
English (of Norman origin) : habitational name from any of the numerous places in France so called from the dedication of their churches to St. George (see George).French : secondary surname to the primary surnames De la Porte, Godfroy, Lapointe, and Laporte.
Surname or Lastname
English, Welsh, French, South Indian, etc.
English, Welsh, French, South Indian, etc. : from the personal name George, Greek GeÅrgios, from an adjectival form, geÅrgios ‘rustic’, of geÅrgos ‘farmer’. This became established as a personal name in classical times through its association with the fashion for pastoral poetry. Its popularity in western Europe increased at the time of the Crusades, which brought greater contact with the Orthodox Church, in which several saints and martyrs of this name are venerated, in particular a saint believed to have been martyred at Nicomedia in ad 303, who, however, is at best a shadowy figure historically. Nevertheless, by the end of the Middle Ages St. George had become associated with an unhistorical legend of dragon-slaying exploits, which caught the popular imagination throughout Europe, and he came to be considered the patron saint of England among other places.
Boy/Male
African, American, Arabic, Australian, British, Chinese, Christian, Danish, Dutch, English, French, German, Greek, Indian, Irish, Jamaican, Malayalam
Earth Worker; Farmer; A Tiller of the Soil
Boy/Male
Danish, German, Greek, Latin
Farmer
GEORG KREISEL
GEORG KREISEL
Boy/Male
Arabic
Visitor; Guest
Girl/Female
Arabic
All of Good
Girl/Female
Indian
Flower; Worth
Girl/Female
Hindu, Indian
Helping
Boy/Male
Hindu
Name of Lord Krishna
Girl/Female
Indian
Spring, Springtime, Garden
Boy/Male
Irish
Surname or Lastname
English
English : variant of Rathbone.
Boy/Male
Muslim/Islamic
Slave of the Eternal The Independent
Boy/Male
Hindu, Indian, Sanskrit, Tamil
Statue of Lord Shiva; Gender
GEORG KREISEL
GEORG KREISEL
GEORG KREISEL
GEORG KREISEL
GEORG KREISEL
a.
Pertaining to, or characteristic of, George Washington; as, a Washingtonian policy.
n.
A figure of St. George (the patron saint of England) on horseback, appended to the collar of the Order of the Garter. See Garter.
n.
an adherent of George Calixtus and other Germans of the seventeenth century, who sought to unite or reconcile the Protestant sects with each other and with the Roman Catholics, and thus occasioned a long and violent controversy in the Lutheran church.
n.
An appendage or ornament or anything in the form of a cross; a badge or ornamental device of the general shape of a cross; hence, such an ornament, even when varying considerably from that form; thus, the Cross of the British Order of St. George and St. Michael consists of a central medallion with seven arms radiating from it.
a.
One of the grand divisions of land on the globe; the main land; specifically (Phys. Geog.), a large body of land differing from an island, not merely in its size, but in its structure, which is that of a large basin bordered by mountain chains; as, the continent of North America.
n.
One of a religious sect, founded in Wurtemburg in the last century, composed of followers of George Rapp, a weaver. They had all their property in common. In 1803, a portion of this sect settled in Pennsylvania and called the village thus established, Harmony.
n.
A kind of brown loaf.
n.
A name given by miners to George Stephenson's safety lamp.
n.
One of a religious sect founded by George Fox, of Leicestershire, England, about 1650, -- the members of which call themselves Friends. They were called Quakers, originally, in derision. See Friend, n., 4.
n.
The pictorial representation of a scene; a sketch, /ither drawn or painted; as, a fine view of Lake George.