This HTML5 document contains 235 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n28http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n20ftp://ftp.cs.ru.nl/pub/CompMath.Found/
n10http://viaf.org/viaf/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n26https://dblp.org/pid/96/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n27http://ht.dbpedia.org/resource/
n7http://d-nb.info/gnd/
n4http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:List_of_University_of_Cambridge_people
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_fellows_of_the_Royal_Society_J,_K,_L
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_fellows_of_the_Royal_Society_elected_in_1966
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_philosophers_(I–Q)
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_philosophers_born_in_the_20th_century
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Richard_Statman
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
dbp:doctoralAdvisor
dbr:Georg_Kreisel
dbo:doctoralAdvisor
dbr:Georg_Kreisel
Subject Item
dbr:Deaths_in_March_2015
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Index_of_philosophy_articles_(D–H)
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Intermediate_logic
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_logicians
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Georg_Kreisel
rdf:type
dbo:Eukaryote wikidata:Q5 yago:Educator110045713 owl:Thing wikidata:Q729 wikidata:Q215627 yago:WikicatAlumniOfTheUniversityOfCambridge yago:WikicatFellowsOfTheRoyalSociety yago:LivingThing100004258 yago:CausalAgent100007347 yago:Whole100003553 yago:Scientist110560637 yago:WikicatPeopleFromGraz yago:Wikicat21st-centuryMathematicians wikidata:Q19088 yago:Logician110269785 yago:Expert109617867 yago:Associate109816771 wikidata:Q901 yago:Colleague109935990 yago:WikicatAmericanPeople yago:Professional110480253 yago:Scholar110557854 yago:WikicatAcademicsOfTheUniversityOfReading yago:WikicatLogicians yago:Adult109605289 schema:Person yago:Organism100004475 yago:WikicatAustrianMathematicians yago:Academician109759069 yago:Mathematician110301261 yago:WikicatAlumniOfTrinityCollege,Cambridge yago:Object100002684 n28:NaturalPerson dbo:Person yago:WikicatBritishPeople yago:WikicatAmericanMathematicians yago:Intellectual109621545 yago:Person100007846 foaf:Person yago:WikicatBritishMathematicians yago:Wikicat20th-centuryMathematicians dbo:Scientist yago:Alumnus109786338 dbo:Species yago:YagoLegalActor yago:YagoLegalActorGeo yago:Peer109626238 dbo:Animal yago:WikicatLivingPeople yago:PhysicalEntity100001930
rdfs:label
Georg Kreisel ゲオルク・クライゼル Georg Kreisel Georg Kreisel Georg Kreisel
rdfs:comment
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, 1923年9月15日 - 2015年3月1日)はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。 Georg Kreisel (Graz, 15 de setembro de 1923 – Salzburgo, 1 de março de 2015) foi um matemático britânico. Em 1966 foi eleito membro da Royal Society. Foi palestrante do Congresso Internacional de Matemáticos em Edimburgo (1958: Ordinal logics and the characterization of informal concepts of proof). Georg Kreisel (né le 15 septembre 1923 à Graz et mort le 1er mars 2015 à Salzbourg) est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis. Georg Kreisel (* 15. September 1923 in Graz; † 1. März 2015 in Salzburg) war ein britisch-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 Bachelorabschluss 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 untersuchte 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
foaf:name
Georg Kreisel
dbp:name
Georg Kreisel
dbo:birthPlace
dbr:Graz,_Austria
dbo:deathPlace
dbr:Salzburg,_Austria
dbp:deathPlace
dbr:Salzburg,_Austria
dbo:deathDate
2015-03-01
dbp:birthPlace
dbr:Graz,_Austria
dbo:birthDate
1923-09-15
dcterms:subject
dbc:1923_births dbc:2015_deaths dbc:British_emigrants_to_the_United_States dbc:21st-century_British_mathematicians dbc:Cambridge_University_Moral_Sciences_Club dbc:20th-century_British_mathematicians dbc:Austrian_mathematicians dbc:21st-century_American_mathematicians dbc:20th-century_American_mathematicians dbc:Fellows_of_the_Royal_Society dbc:Austrian_logicians dbc:Austrian_emigrants_to_the_United_Kingdom
dbo:wikiPageID
11761785
dbo:wikiPageRevisionID
1124692023
dbo:wikiPageWikiLink
dbr:Henk_Barendregt dbr:Graz,_Austria dbr:Austria dbr:Stanford_University dbr:Royal_Society dbr:Military dbr:Bristol dbr:Philosophy dbr:Constructivism_(mathematics) dbr:Ludwig_Wittgenstein dbr:Trinity_College,_Cambridge dbc:2015_deaths dbc:1923_births dbr:Institute_for_Advanced_Study dbr:University_of_Paris dbc:British_emigrants_to_the_United_States dbr:Francis_Crick dbr:Peter_J._Conradi dbr:Rush_Rhees dbr:Bertrand_Russell dbc:Cambridge_University_Moral_Sciences_Club dbr:Jew dbr:The_Message_to_the_Planet dbc:20th-century_British_mathematicians dbc:21st-century_British_mathematicians dbr:Kurt_Gödel dbc:Austrian_mathematicians dbr:Richard_Statman dbr:United_Kingdom dbc:21st-century_American_mathematicians dbr:An_Accidental_Man dbr:Luitzen_Egbertus_Jan_Brouwer dbc:20th-century_American_mathematicians dbr:Anschluss dbr:Mathematics dbr:Salzburg dbr:Salzburg,_Austria dbr:The_University_of_Reading dbr:Mathematical_logic dbr:Proof_theory dbr:Doctor_of_Science dbr:Mathematical_proof dbc:Fellows_of_the_Royal_Society dbr:Nuns_and_Soldiers dbr:Computer_Science dbc:Austrian_logicians dbr:Graz dbr:World_War_II dbr:Iris_Murdoch dbr:Unwinding_(proof_theory) dbr:United_States dbr:University_of_Reading dbc:Austrian_emigrants_to_the_United_Kingdom dbr:Ray_Monk dbr:Kreisel–Putnam_logic
dbo:wikiPageExternalLink
n20:kr.ps
owl:sameAs
n4:p06866642X freebase:m.02rrf81 n7:119528592 n10:15582257 dbpedia-fa:گئورگ_کرایزل yago-res:Georg_Kreisel wikidata:Q951409 n19:56Bcu n10:264105839 dbpedia-pt:Georg_Kreisel dbpedia-de:Georg_Kreisel n26:5233 n27:Georg_Kreisel dbpedia-ja:ゲオルク・クライゼル n7:109002374X dbpedia-fr:Georg_Kreisel
dbp:workInstitutions
dbr:University_of_Reading dbr:Institute_for_Advanced_Study dbr:Stanford_University
dbp:wikiPageUsesTemplate
dbt:Infobox_scientist dbt:Death_date_and_age dbt:Reflist dbt:Birth_date dbt:Authority_control dbt:Short_description dbt:ISBN dbt:MathGenealogy dbt:FRS_1966
dbp:almaMater
dbr:Trinity_College,_Cambridge
dbp:birthDate
1923-09-15
dbp:deathDate
2015-03-01
dbp:field
dbr:Philosophy dbr:Mathematics dbr:Computer_Science
dbp:imageSize
150
dbp:knownFor
dbr:Kreisel–Putnam_logic dbr:Unwinding_(proof_theory)
dbo:abstract
ゲオルク・クライゼル(Georg Kreisel, 1923年9月15日 - 2015年3月1日)はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。 Georg Kreisel (né le 15 septembre 1923 à Graz et mort le 1er mars 2015 à Salzbourg) est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis. Georg Kreisel (Graz, 15 de setembro de 1923 – Salzburgo, 1 de março de 2015) foi um matemático britânico. Em 1966 foi eleito membro da Royal Society. Foi palestrante do Congresso Internacional de Matemáticos em Edimburgo (1958: Ordinal logics and the characterization of informal concepts of proof). Georg Kreisel (* 15. September 1923 in Graz; † 1. März 2015 in Salzburg) war ein britisch-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 Bachelorabschluss 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 untersuchte 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 wechselte, 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 (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America.
dbp:doctoralStudents
dbr:Henk_Barendregt dbr:Richard_Statman
dbo:doctoralStudent
dbr:Henk_Barendregt dbr:Richard_Statman
gold:hypernym
dbr:Logician
schema:sameAs
n10:15582257
prov:wasDerivedFrom
wikipedia-en:Georg_Kreisel?oldid=1124692023&ns=0
dbo:wikiPageLength
8809
dbo:academicDiscipline
dbr:Philosophy dbr:Mathematics dbr:Computer_Science
dbo:almaMater
dbr:Trinity_College,_Cambridge
dbo:knownFor
dbr:Unwinding_(proof_theory) dbr:Kreisel–Putnam_logic
foaf:isPrimaryTopicOf
wikipedia-en:Georg_Kreisel
Subject Item
dbr:Anne_Sjerp_Troelstra
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Cambridge_University_Moral_Sciences_Club
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Henk_Barendregt
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Kreisel_(surname)
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Michèle_Artigue
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Admissible_rule
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_Austrians
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:The_Message_to_the_Planet
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:A._C._Ewing
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Francis_Crick
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:History_of_logic
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:List_of_Jewish_mathematicians
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:2015_in_philosophy
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Jean_van_Heijenoort
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Heyting_arithmetic
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Remarks_on_the_Foundations_of_Mathematics
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Frederick_Rowbottom
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Set_theory
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:Skewes's_number
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
Subject Item
dbr:G._Kreisel
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
dbo:wikiPageRedirects
dbr:Georg_Kreisel
Subject Item
dbr:George_Kreisel
dbo:wikiPageWikiLink
dbr:Georg_Kreisel
dbo:wikiPageRedirects
dbr:Georg_Kreisel
Subject Item
wikipedia-en:Georg_Kreisel
foaf:primaryTopic
dbr:Georg_Kreisel