Georg Kreisel FRS (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War II, worked on military subjects. After the war he returned to Cambridge and received his doctorate.

PropertyValue
dbpedia-owl:abstract
  • Georg Kreisel est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis.
  • ゲオルク・クライゼル(Georg Kreisel, 1923年9月15日 - )はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。
  • Georg Kreisel ist ein englisch-US-amerikanischer Logiker und Mathematiker. Er wurde in Österreich geboren und aufgrund seines jüdischen Hintergrundes vor dem Einmarsch der Nationalsozialisten in Österreich 1938 von seinen Eltern nach England geschickt, wo er im Alter von 19 Jahren sein Studium der Mathematik am Trinity College der Universität Cambridge begann, mit dem Bachelor Abschluss 1944. Sein „Landsmann“ Ludwig Wittgenstein hielt ihn für seinen besten Schüler. Während des Zweiten Weltkriegs arbeitete er in der britischen Militärforschung (er unersuchte unter anderem die Auswirkungen von Wellen auf die für die Landung in der Normandie gebauten künstlichen Häfen) und promovierte nach dem Krieg an der Universität Cambridge. Er war nach dem Krieg eng mit der anglo-irischen Schriftstellerin Iris Murdoch befreundet. Der englische Physiker und Nobelpreisträger Francis Crick zählte ihn zu seinen wichtigsten Mentoren. Er unterrichtete 1949 bis 1960 an der Universität Reading, wobei er zwischendurch 1955 bis 1957 an das Institute for Advanced Studies in Princeton, New Jersey, USA zu wechseln, wohin er auf Einladung von Kurt Gödel kam (den wiederum Freeman Dyson dazu anregte). 1958 bis 1959 war er an der Stanford University und 1960 bis 1962 an der Universität Paris. 1962 wurde er zum Professor an der Stanford Universität ernannt, wo er bis zu seiner Pensionierung 1985 blieb. Kreisel bearbeitete verschiedene Felder der mathematischen Logik und Beweistheorie, wo er durch sein sogenanntes „Unwinding“-Programm bekannt wurde. Er setzte sich eingehend mit den Theorien von Kurt Gödel auseinander, bei dem er am Institute for Advanced Study war und mit dem er danach korrespondierte. 1966 wurde er in die Royal Society gewählt. 1958 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Edinburgh (Ordinal logics and the characterization of informal concepts of proof).
  • Georg Kreisel FRS (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War II, worked on military subjects. After the war he returned to Cambridge and received his doctorate. He taught at the University of Reading until 1954 and then worked at the Institute for Advanced Study from 1955 to 1957. Subsequently he taught at Stanford University and the University of Paris. Kreisel was appointed a professor at Stanford University in 1962 and remained on the faculty there until he retired in 1985. Kreisel worked in various areas of logic, and especially in proof theory, where he is known for his so-called "unwinding" program, whose aim was to extract constructive content from superficially non-constructive proofs. Kreisel was elected to the Royal Society in 1966; Kreisel remained a close friend of the late Francis Crick whom he had met in the Royal Navy during WWII. While a student at Cambridge, Kreisel was the student most respected by Ludwig Wittgenstein. Ray Monk writes, "In 1944--when Kreisel was still only twenty-one--Wittgenstein shocked Rush Rhees by declaring Kreisel to be the most able philosopher he had ever met who was also a mathematician. "* Kreisel was also a close friend of the Anglo-Irish philosopher and novelist Iris Murdoch. They met at Cambridge in 1947 during Murdoch's year of study there. Peter Conradi reports that Murdoch transcribed Kreisel's letters into her journals over the next fifty years. According to Conradi, "For half a century she nonetheless records variously Kreisel's brilliance, wit and sheer 'dotty' solipsistic strangeness, his amoralism, cruelty, ambiguous vanity and obscenity. " Murdoch dedicated her 1971 novel An Accidental Man to Kreisel and he became a (partial) model for several characters in other novels, including Marcus Vallar in The Message to the Planet and Guy Openshaw in Nuns and Soldiers. * Kreisel currently lives in retirement in Salzburg, Austria. He has written several biographies of high profile mathematicians including Kurt Gödel, Bertrand Russell and Luitzen Egbertus Jan Brouwer.
dbpedia-owl:birthDate
  • 1923-09-15 (xsd:date)
dbpedia-owl:individualisedPnd
  • 119528592
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 11761785 (xsd:integer)
dbpedia-owl:wikiPageInLinkCount
  • 27 (xsd:integer)
dbpedia-owl:wikiPageOutLinkCount
  • 44 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 547995399 (xsd:integer)
dbpprop:dateOfBirth
  • 1923-09-15 (xsd:date)
dbpprop:hasPhotoCollection
dbpprop:name
  • Kreisel, Georg
dbpprop:shortDescription
  • American mathematician
dc:description
  • American mathematician
dcterms:subject
rdf:type
rdfs:comment
  • Georg Kreisel est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis.
  • Georg Kreisel FRS (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War II, worked on military subjects. After the war he returned to Cambridge and received his doctorate.
  • ゲオルク・クライゼル(Georg Kreisel, 1923年9月15日 - )はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。
  • Georg Kreisel ist ein englisch-US-amerikanischer Logiker und Mathematiker. Er wurde in Österreich geboren und aufgrund seines jüdischen Hintergrundes vor dem Einmarsch der Nationalsozialisten in Österreich 1938 von seinen Eltern nach England geschickt, wo er im Alter von 19 Jahren sein Studium der Mathematik am Trinity College der Universität Cambridge begann, mit dem Bachelor Abschluss 1944. Sein „Landsmann“ Ludwig Wittgenstein hielt ihn für seinen besten Schüler.
rdfs:label
  • Georg Kreisel
  • Georg Kreisel
  • Georg Kreisel
  • ゲオルク・クライゼル
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:givenName
  • Georg
foaf:isPrimaryTopicOf
foaf:name
  • Georg Kreisel
foaf:surname
  • Kreisel
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:wikiPageRedirects of
is dbpprop:doctoralAdvisor of
is owl:sameAs of
is foaf:primaryTopic of