Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Georg_Kreisel> ?p ?o. }

• Georg_Kreisel abstract "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.".
• Georg_Kreisel birthDate "1923-09-15".
• Georg_Kreisel birthYear "1923".
• Georg_Kreisel viafId "15582257".
• Georg_Kreisel wikiPageExternalLink kr.ps.
• Georg_Kreisel wikiPageID "11761785".
• Georg_Kreisel wikiPageRevisionID "591384706".
• Georg_Kreisel dateOfBirth "1923-09-15".
• Georg_Kreisel hasPhotoCollection Georg_Kreisel.
• Georg_Kreisel name "Kreisel, Georg".
• Georg_Kreisel shortDescription "American mathematician".
• Georg_Kreisel description "American mathematician".
• Georg_Kreisel description "American mathematician".
• Georg_Kreisel subject Category:1923_births.
• Georg_Kreisel subject Category:20th-century_mathematicians.
• Georg_Kreisel subject Category:21st-century_mathematicians.
• Georg_Kreisel subject Category:American_mathematicians.
• Georg_Kreisel subject Category:Austrian_mathematicians.
• Georg_Kreisel subject Category:British_mathematicians.
• Georg_Kreisel subject Category:Cambridge_University_Moral_Sciences_Club.
• Georg_Kreisel subject Category:Fellows_of_the_Royal_Society.
• Georg_Kreisel subject Category:Living_people.
• Georg_Kreisel subject Category:Logicians.
• Georg_Kreisel type 20th-centuryMathematicians.
• Georg_Kreisel type 21st-centuryMathematicians.
• Georg_Kreisel type AmericanMathematicians.
• Georg_Kreisel type Associate109816771.
• Georg_Kreisel type AustrianMathematicians.
• Georg_Kreisel type BritishMathematicians.
• Georg_Kreisel type CausalAgent100007347.
• Georg_Kreisel type Colleague109935990.
• Georg_Kreisel type Expert109617867.
• Georg_Kreisel type FellowsOfTheRoyalSociety.
• Georg_Kreisel type LivingPeople.
• Georg_Kreisel type LivingThing100004258.
• Georg_Kreisel type Logician110269785.
• Georg_Kreisel type Logicians.
• Georg_Kreisel type Mathematician110301261.
• Georg_Kreisel type Object100002684.
• Georg_Kreisel type Organism100004475.
• Georg_Kreisel type Peer109626238.
• Georg_Kreisel type Person100007846.
• Georg_Kreisel type PhysicalEntity100001930.
• Georg_Kreisel type Scientist110560637.
• Georg_Kreisel type Whole100003553.
• Georg_Kreisel type YagoLegalActor.
• Georg_Kreisel type YagoLegalActorGeo.
• Georg_Kreisel type Agent.
• Georg_Kreisel type Person.
• Georg_Kreisel type Person.
• Georg_Kreisel type Q215627.
• Georg_Kreisel type Q5.
• Georg_Kreisel type Agent.
• Georg_Kreisel type NaturalPerson.
• Georg_Kreisel type Thing.
• Georg_Kreisel type Person.
• Georg_Kreisel comment "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 label "Georg Kreisel".
• Georg_Kreisel label "Georg Kreisel".
• Georg_Kreisel label "Georg Kreisel".
• Georg_Kreisel label "ゲオルク・クライゼル".
• Georg_Kreisel sameAs Georg_Kreisel.
• Georg_Kreisel sameAs Georg_Kreisel.
• Georg_Kreisel sameAs ゲオルク・クライゼル.
• Georg_Kreisel sameAs m.02rrf81.
• Georg_Kreisel sameAs Q951409.
• Georg_Kreisel sameAs Q951409.
• Georg_Kreisel sameAs Georg_Kreisel.
• Georg_Kreisel wasDerivedFrom Georg_Kreisel?oldid=591384706.
• Georg_Kreisel givenName "Georg".
• Georg_Kreisel isPrimaryTopicOf Georg_Kreisel.
• Georg_Kreisel name "Georg Kreisel".
• Georg_Kreisel name "Kreisel, Georg".
• Georg_Kreisel surname "Kreisel".