Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Georg_Kreisel> ?p ?o }
- Georg_Kreisel abstract "Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in Great Britain and America. Kreisel was born in Graz and came from a Jewish background; his family sent him to the United Kingdom 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 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.*After retirement Kreisel lived in Salzburg, Austria. He wrote several biographies of mathematicians including Kurt Gödel, Bertrand Russell and Luitzen Egbertus Jan Brouwer. He died in Salzburg, aged 91.".
- Georg_Kreisel birthDate "1923-09-15".
- Georg_Kreisel birthYear "1923".
- Georg_Kreisel deathDate "2015-03-01".
- Georg_Kreisel deathYear "2015".
- Georg_Kreisel wikiPageID "11761785".
- Georg_Kreisel wikiPageLength "7083".
- Georg_Kreisel wikiPageOutDegree "48".
- Georg_Kreisel wikiPageRevisionID "678407767".
- Georg_Kreisel wikiPageWikiLink An_Accidental_Man.
- Georg_Kreisel wikiPageWikiLink Anschluss.
- Georg_Kreisel wikiPageWikiLink Austria.
- Georg_Kreisel wikiPageWikiLink Bertrand_Russell.
- Georg_Kreisel wikiPageWikiLink Bristol.
- Georg_Kreisel wikiPageWikiLink Category:1923_births.
- Georg_Kreisel wikiPageWikiLink Category:2015_deaths.
- Georg_Kreisel wikiPageWikiLink Category:20th-century_American_mathematicians.
- Georg_Kreisel wikiPageWikiLink Category:20th-century_British_mathematicians.
- Georg_Kreisel wikiPageWikiLink Category:21st-century_American_mathematicians.
- Georg_Kreisel wikiPageWikiLink Category:21st-century_British_mathematicians.
- Georg_Kreisel wikiPageWikiLink Category:Austrian_mathematicians.
- Georg_Kreisel wikiPageWikiLink Category:Cambridge_University_Moral_Sciences_Club.
- Georg_Kreisel wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Georg_Kreisel wikiPageWikiLink Category:Logicians.
- Georg_Kreisel wikiPageWikiLink Constructivism_(mathematics).
- Georg_Kreisel wikiPageWikiLink Doctorate.
- Georg_Kreisel wikiPageWikiLink Francis_Crick.
- Georg_Kreisel wikiPageWikiLink Graz.
- Georg_Kreisel wikiPageWikiLink Great_Britain.
- Georg_Kreisel wikiPageWikiLink Henk_Barendregt.
- Georg_Kreisel wikiPageWikiLink Institute_for_Advanced_Study.
- Georg_Kreisel wikiPageWikiLink Iris_Murdoch.
- Georg_Kreisel wikiPageWikiLink Jew.
- Georg_Kreisel wikiPageWikiLink Jews.
- Georg_Kreisel wikiPageWikiLink Kurt_Gödel.
- Georg_Kreisel wikiPageWikiLink L._E._J._Brouwer.
- Georg_Kreisel wikiPageWikiLink Ludwig_Wittgenstein.
- Georg_Kreisel wikiPageWikiLink Luitzen_Egbertus_Jan_Brouwer.
- Georg_Kreisel wikiPageWikiLink Mathematical_logic.
- Georg_Kreisel wikiPageWikiLink Mathematical_proof.
- Georg_Kreisel wikiPageWikiLink Military.
- Georg_Kreisel wikiPageWikiLink Nuns_and_Soldiers.
- Georg_Kreisel wikiPageWikiLink Proof_mining.
- Georg_Kreisel wikiPageWikiLink Proof_theory.
- Georg_Kreisel wikiPageWikiLink Ray_Monk.
- Georg_Kreisel wikiPageWikiLink Royal_Society.
- Georg_Kreisel wikiPageWikiLink Rush_Rhees.
- Georg_Kreisel wikiPageWikiLink Salzburg.
- Georg_Kreisel wikiPageWikiLink Stanford_University.
- Georg_Kreisel wikiPageWikiLink The_Message_to_the_Planet.
- Georg_Kreisel wikiPageWikiLink The_University_of_Reading.
- Georg_Kreisel wikiPageWikiLink Trinity_College,_Cambridge.
- Georg_Kreisel wikiPageWikiLink United_Kingdom.
- Georg_Kreisel wikiPageWikiLink United_States.
- Georg_Kreisel wikiPageWikiLink University_of_Paris.
- Georg_Kreisel wikiPageWikiLink University_of_Reading.
- Georg_Kreisel wikiPageWikiLink Unwinding_(proof_theory).
- Georg_Kreisel wikiPageWikiLink World_War_II.
- Georg_Kreisel wikiPageWikiLinkText "Georg Kreisel".
- Georg_Kreisel wikiPageWikiLinkText "Kreisel".
- Georg_Kreisel wikiPageWikiLinkText "Kreisel, Georg".
- Georg_Kreisel dateOfBirth "1923-09-15".
- Georg_Kreisel dateOfDeath "2015-03-01".
- Georg_Kreisel hasPhotoCollection Georg_Kreisel.
- Georg_Kreisel name "Kreisel, Georg".
- Georg_Kreisel shortDescription "American mathematician".
- Georg_Kreisel wikiPageUsesTemplate Template:Authority_control.
- Georg_Kreisel wikiPageUsesTemplate Template:MathGenealogy.
- Georg_Kreisel wikiPageUsesTemplate Template:Persondata.
- Georg_Kreisel wikiPageUsesTemplate Template:Reflist.
- Georg_Kreisel description "American mathematician".
- Georg_Kreisel description "American mathematician".
- Georg_Kreisel subject Category:1923_births.
- Georg_Kreisel subject Category:2015_deaths.
- Georg_Kreisel subject Category:20th-century_American_mathematicians.
- Georg_Kreisel subject Category:20th-century_British_mathematicians.
- Georg_Kreisel subject Category:21st-century_American_mathematicians.
- Georg_Kreisel subject Category:21st-century_British_mathematicians.
- Georg_Kreisel subject Category:Austrian_mathematicians.
- Georg_Kreisel subject Category:Cambridge_University_Moral_Sciences_Club.
- Georg_Kreisel subject Category:Fellows_of_the_Royal_Society.
- Georg_Kreisel subject Category:Logicians.
- Georg_Kreisel hypernym Logician.
- Georg_Kreisel type Agent.
- Georg_Kreisel type Article.
- Georg_Kreisel type List.
- Georg_Kreisel type Person.
- Georg_Kreisel type Philosopher.
- Georg_Kreisel type Scientist.
- Georg_Kreisel type Article.
- Georg_Kreisel type List.
- Georg_Kreisel type Mathematician.
- Georg_Kreisel type Member.
- Georg_Kreisel type Philosopher.
- Georg_Kreisel type Scholar.
- Georg_Kreisel type Scientist.
- Georg_Kreisel type Winner.
- Georg_Kreisel type Person.
- Georg_Kreisel type Agent.
- Georg_Kreisel type NaturalPerson.