Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q951409> ?p ?o }
Showing triples 1 to 81 of
81
with 100 triples per page.
- Q951409 description "American mathematician".
- Q951409 description "American mathematician".
- Q951409 subject Q15136896.
- Q951409 subject Q18672072.
- Q951409 subject Q6275329.
- Q951409 subject Q6647258.
- Q951409 subject Q7020244.
- Q951409 subject Q7029676.
- Q951409 subject Q8205185.
- Q951409 subject Q8336829.
- Q951409 subject Q8797994.
- Q951409 subject Q9722104.
- Q951409 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.".
- Q951409 birthDate "1923-09-15".
- Q951409 birthYear "1923".
- Q951409 deathDate "2015-03-01".
- Q951409 deathYear "2015".
- Q951409 wikiPageWikiLink Q1137814.
- Q951409 wikiPageWikiLink Q11538.
- Q951409 wikiPageWikiLink Q1166618.
- Q951409 wikiPageWikiLink Q123280.
- Q951409 wikiPageWikiLink Q123885.
- Q951409 wikiPageWikiLink Q13298.
- Q951409 wikiPageWikiLink Q1432632.
- Q951409 wikiPageWikiLink Q145.
- Q951409 wikiPageWikiLink Q15136896.
- Q951409 wikiPageWikiLink Q154681.
- Q951409 wikiPageWikiLink Q155887.
- Q951409 wikiPageWikiLink Q17984712.
- Q951409 wikiPageWikiLink Q1847646.
- Q951409 wikiPageWikiLink Q18672072.
- Q951409 wikiPageWikiLink Q19870565.
- Q951409 wikiPageWikiLink Q209842.
- Q951409 wikiPageWikiLink Q217495.
- Q951409 wikiPageWikiLink Q23154.
- Q951409 wikiPageWikiLink Q23666.
- Q951409 wikiPageWikiLink Q30.
- Q951409 wikiPageWikiLink Q3090271.
- Q951409 wikiPageWikiLink Q332342.
- Q951409 wikiPageWikiLink Q33760.
- Q951409 wikiPageWikiLink Q34713.
- Q951409 wikiPageWikiLink Q362.
- Q951409 wikiPageWikiLink Q40.
- Q951409 wikiPageWikiLink Q41390.
- Q951409 wikiPageWikiLink Q41506.
- Q951409 wikiPageWikiLink Q5991701.
- Q951409 wikiPageWikiLink Q6275329.
- Q951409 wikiPageWikiLink Q635642.
- Q951409 wikiPageWikiLink Q6647258.
- Q951409 wikiPageWikiLink Q7020244.
- Q951409 wikiPageWikiLink Q7029676.
- Q951409 wikiPageWikiLink Q7069910.
- Q951409 wikiPageWikiLink Q7250003.
- Q951409 wikiPageWikiLink Q7325.
- Q951409 wikiPageWikiLink Q8205185.
- Q951409 wikiPageWikiLink Q8336829.
- Q951409 wikiPageWikiLink Q8473.
- Q951409 wikiPageWikiLink Q849697.
- Q951409 wikiPageWikiLink Q852732.
- Q951409 wikiPageWikiLink Q8797994.
- Q951409 wikiPageWikiLink Q9391.
- Q951409 wikiPageWikiLink Q9722104.
- Q951409 dateOfBirth "1923-09-15".
- Q951409 dateOfDeath "2015-03-01".
- Q951409 name "Kreisel, Georg".
- Q951409 shortDescription "American mathematician".
- Q951409 type Person.
- Q951409 type Agent.
- Q951409 type Person.
- Q951409 type Agent.
- Q951409 type NaturalPerson.
- Q951409 type Thing.
- Q951409 type Q215627.
- Q951409 type Q5.
- Q951409 type Person.
- Q951409 comment "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.".
- Q951409 label "Georg Kreisel".
- Q951409 givenName "Georg".
- Q951409 name "Georg Kreisel".
- Q951409 name "Kreisel, Georg".
- Q951409 surname "Kreisel".