CINXE.COM
About: Georg Kreisel
<!DOCTYPE html> <html prefix=" dbp: http://dbpedia.org/property/ dbo: http://dbedia.org/ontology/ dct: http://purl.org/dc/terms/ dbd: http://dbpedia.org/datatype/ og: https://ogp.me/ns# " > <!-- header --> <head> <meta charset="utf-8" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <title>About: Georg Kreisel</title> <!-- Links --> <link rel="alternate" type="application/rdf+xml" href="http://dbpedia.org/data/Georg_Kreisel.rdf" title="Structured Descriptor Document (RDF/XML format)" /> <link rel="alternate" type="text/n3" href="http://dbpedia.org/data/Georg_Kreisel.n3" title="Structured Descriptor Document (N3 format)" /> <link rel="alternate" type="text/turtle" href="http://dbpedia.org/data/Georg_Kreisel.ttl" title="Structured Descriptor Document (Turtle format)" /> <link rel="alternate" type="application/json+rdf" href="http://dbpedia.org/data/Georg_Kreisel.jrdf" title="Structured Descriptor Document (RDF/JSON format)" /> <link rel="alternate" type="application/json" href="http://dbpedia.org/data/Georg_Kreisel.json" title="Structured Descriptor Document (RDF/JSON format)" /> <link rel="alternate" type="application/atom+xml" href="http://dbpedia.org/data/Georg_Kreisel.atom" title="OData (Atom+Feed format)" /> <link rel="alternate" type="text/plain" href="http://dbpedia.org/data/Georg_Kreisel.ntriples" title="Structured Descriptor Document (N-Triples format)" /> <link rel="alternate" type="text/csv" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fcsv" title="Structured Descriptor Document (CSV format)" /> <link rel="alternate" type="application/microdata+json" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=application%2Fmicrodata%2Bjson" title="Structured Descriptor Document (Microdata/JSON format)" /> <link rel="alternate" type="text/html" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fhtml" title="Structured Descriptor Document (Microdata/HTML format)" /> <link rel="alternate" type="application/ld+json" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=application%2Fld%2Bjson" title="Structured Descriptor Document (JSON-LD format)" /> <link rel="alternate" type="text/x-html-script-ld+json" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fx-html-script-ld%2Bjson" title="Structured Descriptor Document (HTML with embedded JSON-LD)" /> <link rel="alternate" type="text/x-html-script-turtle" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fx-html-script-turtle" title="Structured Descriptor Document (HTML with embedded Turtle)" /> <link rel="timegate" type="text/html" href="http://dbpedia.mementodepot.org/timegate/http://dbpedia.org/page/Georg_Kreisel" title="Time Machine" /> <link rel="foaf:primarytopic" href="http://dbpedia.org/resource/Georg_Kreisel"/> <link rev="describedby" href="http://dbpedia.org/resource/Georg_Kreisel"/> <!-- /Links --> <!-- Stylesheets --> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/bootstrap/5.2.1/css/bootstrap.min.css" integrity="sha512-siwe/oXMhSjGCwLn+scraPOWrJxHlUgMBMZXdPe2Tnk3I0x3ESCoLz7WZ5NTH6SZrywMY+PB1cjyqJ5jAluCOg==" crossorigin="anonymous" /> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/bootstrap-icons/1.9.1/font/bootstrap-icons.min.css" integrity="sha512-5PV92qsds/16vyYIJo3T/As4m2d8b6oWYfoqV+vtizRB6KhF1F9kYzWzQmsO6T3z3QG2Xdhrx7FQ+5R1LiQdUA==" crossorigin="anonymous" /> <!-- link rel="stylesheet" href="/statics/css/dbpedia.css" --> <!-- /Stylesheets--> <!-- OpenGraph --> <meta property="og:title" content="Georg Kreisel" /> <meta property="og:type" content="article" /> <meta property="og:url" content="http://dbpedia.org/resource/Georg_Kreisel" /> <meta property="og:image" content="/statics/images/dbpedia_logo.png" /> <meta property="og:description" content="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." /> <meta property="og:site_name" content="DBpedia" /> <!-- /OpenGraph--> </head> <body about="http://dbpedia.org/resource/Georg_Kreisel"> <!-- navbar --> <nav class="navbar navbar-expand-md navbar-light bg-light fixed-top align-items-center"> <div class="container-xl"> <a class="navbar-brand" href="http://wiki.dbpedia.org/about" title="About DBpedia" style="color: #2c5078"> <img class="img-fluid" src="/statics/images/dbpedia_logo_land_120.png" alt="About DBpedia" /> </a> <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#dbp-navbar" aria-controls="dbp-navbar" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse" id="dbp-navbar"> <ul class="navbar-nav me-auto mb-2 mb-lg-0"> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownBrowse" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi-eye-fill"></i> Browse using<span class="caret"></span></a> <ul class="dropdown-menu" aria-labelledby="navbarDropdownBrowse"> <li class="dropdown-item"><a class="nav-link" href="/describe/?uri=http%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel">OpenLink Faceted Browser</a></li> <li class="dropdown-item"><a class="nav-link" href="http://osde.demo.openlinksw.com/#/editor?uri=http%3A%2F%2Fdbpedia.org%2Fdata%2FGeorg_Kreisel.ttl&view=statements">OpenLink Structured Data Editor</a></li> <li class="dropdown-item"><a class="nav-link" href="http://en.lodlive.it/?http%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel">LodLive Browser</a></li> <!-- li class="dropdown-item"><a class="nav-link" href="http://lodmilla.sztaki.hu/lodmilla/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel">LODmilla Browser</a></li --> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownFormats" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi-file-earmark-fill"></i> Formats<span class="caret"></span></a> <ul class="dropdown-menu" aria-labelledby="navbarDropdownFormats"> <li class="dropdown-item-text">RDF:</li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.ntriples">N-Triples</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.n3">N3</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.ttl">Turtle</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.json">JSON</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.rdf">XML</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">OData:</li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.atom">Atom</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Georg_Kreisel.jsod">JSON</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">Microdata:</li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=application%2Fmicrodata%2Bjson">JSON</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fhtml">HTML</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">Embedded:</li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fx-html-script-ld%2Bjson">JSON</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fx-html-script-turtle">Turtle</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">Other:</li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=text%2Fcsv">CSV</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGeorg_Kreisel%3E&format=application%2Fld%2Bjson">JSON-LD</a></li> </ul> </li> </ul> <ul class="navbar-nav ms-auto"> <li class="nav-item"> <a class="nav-link" href="/fct/" title="Switch to /fct endpoint"><i class="bi-box-arrow-up-right"></i> Faceted Browser </a> </li> <li class="nav-item"> <a class="nav-link" href="/sparql/" title="Switch to /sparql endpoint"><i class="bi-box-arrow-up-right"></i> Sparql Endpoint </a> </li> </ul> </div> </div> </nav> <div style="margin-bottom: 60px"></div> <!-- /navbar --> <!-- page-header --> <section> <div class="container-xl"> <div class="row"> <div class="col"> <h1 id="title" class="display-6"><b>About:</b> <a href="http://dbpedia.org/resource/Georg_Kreisel">Georg Kreisel</a> </h1> </div> </div> <div class="row"> <div class="col"> <div class="text-muted"> <span class="text-nowrap">An Entity of Type: <a href="http://dbpedia.org/ontology/Animal">animal</a>, </span> <span class="text-nowrap">from Named Graph: <a href="http://dbpedia.org">http://dbpedia.org</a>, </span> <span class="text-nowrap">within Data Space: <a href="http://dbpedia.org">dbpedia.org</a></span> </div> </div> </div> <div class="row pt-2"> <div class="col-xs-9 col-sm-10"> <p class="lead">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.</p> </div> </div> </div> </section> <!-- page-header --> <!-- property-table --> <section> <div class="container-xl"> <div class="row"> <div class="table-responsive"> <table class="table table-hover table-sm table-light"> <thead> <tr> <th class="col-xs-3 ">Property</th> <th class="col-xs-9 px-3">Value</th> </tr> </thead> <tbody> <tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/abstract"><small>dbo:</small>abstract</a> </td><td class="col-10 text-break"><ul> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="de" >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).</span><small> (de)</small></span></li> <li><span class="literal"><span property="dbo:abstract" lang="en" >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.</span><small> (en)</small></span></li> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="fr" >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.</span><small> (fr)</small></span></li> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="ja" >ゲオルク・クライゼル（Georg Kreisel, 1923年9月15日 - 2015年3月1日）はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。</span><small> (ja)</small></span></li> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="pt" >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).</span><small> (pt)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/academicDiscipline"><small>dbo:</small>academicDiscipline</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:academicDiscipline" resource="http://dbpedia.org/resource/Computer_Science" href="http://dbpedia.org/resource/Computer_Science"><small>dbr</small>:Computer_Science</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:academicDiscipline" resource="http://dbpedia.org/resource/Mathematics" href="http://dbpedia.org/resource/Mathematics"><small>dbr</small>:Mathematics</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:academicDiscipline" resource="http://dbpedia.org/resource/Philosophy" href="http://dbpedia.org/resource/Philosophy"><small>dbr</small>:Philosophy</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/almaMater"><small>dbo:</small>almaMater</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:almaMater" resource="http://dbpedia.org/resource/Trinity_College,_Cambridge" href="http://dbpedia.org/resource/Trinity_College,_Cambridge"><small>dbr</small>:Trinity_College,_Cambridge</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/birthDate"><small>dbo:</small>birthDate</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:birthDate" datatype="xsd:date" >1923-09-15</span><small> (xsd:date)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/birthPlace"><small>dbo:</small>birthPlace</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:birthPlace" resource="http://dbpedia.org/resource/Graz,_Austria" href="http://dbpedia.org/resource/Graz,_Austria"><small>dbr</small>:Graz,_Austria</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/deathDate"><small>dbo:</small>deathDate</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:deathDate" datatype="xsd:date" >2015-03-01</span><small> (xsd:date)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/deathPlace"><small>dbo:</small>deathPlace</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:deathPlace" resource="http://dbpedia.org/resource/Salzburg,_Austria" href="http://dbpedia.org/resource/Salzburg,_Austria"><small>dbr</small>:Salzburg,_Austria</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/doctoralStudent"><small>dbo:</small>doctoralStudent</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:doctoralStudent" resource="http://dbpedia.org/resource/Richard_Statman" href="http://dbpedia.org/resource/Richard_Statman"><small>dbr</small>:Richard_Statman</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:doctoralStudent" resource="http://dbpedia.org/resource/Henk_Barendregt" href="http://dbpedia.org/resource/Henk_Barendregt"><small>dbr</small>:Henk_Barendregt</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/knownFor"><small>dbo:</small>knownFor</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:knownFor" resource="http://dbpedia.org/resource/Kreisel–Putnam_logic" href="http://dbpedia.org/resource/Kreisel–Putnam_logic"><small>dbr</small>:Kreisel–Putnam_logic</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:knownFor" resource="http://dbpedia.org/resource/Unwinding_(proof_theory)" href="http://dbpedia.org/resource/Unwinding_(proof_theory)"><small>dbr</small>:Unwinding_(proof_theory)</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageExternalLink"><small>dbo:</small>wikiPageExternalLink</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:wikiPageExternalLink nofollow" resource="ftp://ftp.cs.ru.nl/pub/CompMath.Found/kr.ps" href="ftp://ftp.cs.ru.nl/pub/CompMath.Found/kr.ps">ftp://ftp.cs.ru.nl/pub/CompMath.Found/kr.ps</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageID"><small>dbo:</small>wikiPageID</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:wikiPageID" datatype="xsd:integer" >11761785</span><small> (xsd:integer)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageLength"><small>dbo:</small>wikiPageLength</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:wikiPageLength" datatype="xsd:nonNegativeInteger" >8809</span><small> (xsd:nonNegativeInteger)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageRevisionID"><small>dbo:</small>wikiPageRevisionID</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:wikiPageRevisionID" datatype="xsd:integer" >1124692023</span><small> (xsd:integer)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageWikiLink"><small>dbo:</small>wikiPageWikiLink</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Royal_Society" href="http://dbpedia.org/resource/Royal_Society"><small>dbr</small>:Royal_Society</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Salzburg" href="http://dbpedia.org/resource/Salzburg"><small>dbr</small>:Salzburg</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Salzburg,_Austria" href="http://dbpedia.org/resource/Salzburg,_Austria"><small>dbr</small>:Salzburg,_Austria</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:British_emigrants_to_the_United_States" href="http://dbpedia.org/resource/Category:British_emigrants_to_the_United_States"><small>dbc</small>:British_emigrants_to_the_United_States</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Bertrand_Russell" href="http://dbpedia.org/resource/Bertrand_Russell"><small>dbr</small>:Bertrand_Russell</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Cambridge_University_Moral_Sciences_Club" href="http://dbpedia.org/resource/Category:Cambridge_University_Moral_Sciences_Club"><small>dbc</small>:Cambridge_University_Moral_Sciences_Club</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Richard_Statman" href="http://dbpedia.org/resource/Richard_Statman"><small>dbr</small>:Richard_Statman</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/United_Kingdom" href="http://dbpedia.org/resource/United_Kingdom"><small>dbr</small>:United_Kingdom</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/United_States" href="http://dbpedia.org/resource/United_States"><small>dbr</small>:United_States</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/University_of_Paris" href="http://dbpedia.org/resource/University_of_Paris"><small>dbr</small>:University_of_Paris</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/University_of_Reading" href="http://dbpedia.org/resource/University_of_Reading"><small>dbr</small>:University_of_Reading</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Nuns_and_Soldiers" href="http://dbpedia.org/resource/Nuns_and_Soldiers"><small>dbr</small>:Nuns_and_Soldiers</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:1923_births" href="http://dbpedia.org/resource/Category:1923_births"><small>dbc</small>:1923_births</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Computer_Science" href="http://dbpedia.org/resource/Computer_Science"><small>dbr</small>:Computer_Science</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/An_Accidental_Man" href="http://dbpedia.org/resource/An_Accidental_Man"><small>dbr</small>:An_Accidental_Man</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Mathematical_logic" href="http://dbpedia.org/resource/Mathematical_logic"><small>dbr</small>:Mathematical_logic</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Mathematics" href="http://dbpedia.org/resource/Mathematics"><small>dbr</small>:Mathematics</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Rush_Rhees" href="http://dbpedia.org/resource/Rush_Rhees"><small>dbr</small>:Rush_Rhees</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Graz" href="http://dbpedia.org/resource/Graz"><small>dbr</small>:Graz</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Anschluss" href="http://dbpedia.org/resource/Anschluss"><small>dbr</small>:Anschluss</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Ludwig_Wittgenstein" href="http://dbpedia.org/resource/Ludwig_Wittgenstein"><small>dbr</small>:Ludwig_Wittgenstein</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Stanford_University" href="http://dbpedia.org/resource/Stanford_University"><small>dbr</small>:Stanford_University</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Henk_Barendregt" href="http://dbpedia.org/resource/Henk_Barendregt"><small>dbr</small>:Henk_Barendregt</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Austria" href="http://dbpedia.org/resource/Austria"><small>dbr</small>:Austria</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:20th-century_American_mathematicians" href="http://dbpedia.org/resource/Category:20th-century_American_mathematicians"><small>dbc</small>:20th-century_American_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:20th-century_British_mathematicians" href="http://dbpedia.org/resource/Category:20th-century_British_mathematicians"><small>dbc</small>:20th-century_British_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:21st-century_American_mathematicians" href="http://dbpedia.org/resource/Category:21st-century_American_mathematicians"><small>dbc</small>:21st-century_American_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:21st-century_British_mathematicians" href="http://dbpedia.org/resource/Category:21st-century_British_mathematicians"><small>dbc</small>:21st-century_British_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society" href="http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society"><small>dbc</small>:Fellows_of_the_Royal_Society</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Bristol" href="http://dbpedia.org/resource/Bristol"><small>dbr</small>:Bristol</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Austrian_mathematicians" href="http://dbpedia.org/resource/Category:Austrian_mathematicians"><small>dbc</small>:Austrian_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Trinity_College,_Cambridge" href="http://dbpedia.org/resource/Trinity_College,_Cambridge"><small>dbr</small>:Trinity_College,_Cambridge</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Doctor_of_Science" href="http://dbpedia.org/resource/Doctor_of_Science"><small>dbr</small>:Doctor_of_Science</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/The_Message_to_the_Planet" href="http://dbpedia.org/resource/The_Message_to_the_Planet"><small>dbr</small>:The_Message_to_the_Planet</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Francis_Crick" href="http://dbpedia.org/resource/Francis_Crick"><small>dbr</small>:Francis_Crick</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Peter_J._Conradi" href="http://dbpedia.org/resource/Peter_J._Conradi"><small>dbr</small>:Peter_J._Conradi</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Mathematical_proof" href="http://dbpedia.org/resource/Mathematical_proof"><small>dbr</small>:Mathematical_proof</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Proof_theory" href="http://dbpedia.org/resource/Proof_theory"><small>dbr</small>:Proof_theory</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:2015_deaths" href="http://dbpedia.org/resource/Category:2015_deaths"><small>dbc</small>:2015_deaths</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Iris_Murdoch" href="http://dbpedia.org/resource/Iris_Murdoch"><small>dbr</small>:Iris_Murdoch</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Austrian_logicians" href="http://dbpedia.org/resource/Category:Austrian_logicians"><small>dbc</small>:Austrian_logicians</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Austrian_emigrants_to_the_United_Kingdom" href="http://dbpedia.org/resource/Category:Austrian_emigrants_to_the_United_Kingdom"><small>dbc</small>:Austrian_emigrants_to_the_United_Kingdom</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Jew" href="http://dbpedia.org/resource/Jew"><small>dbr</small>:Jew</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Philosophy" href="http://dbpedia.org/resource/Philosophy"><small>dbr</small>:Philosophy</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Constructivism_(mathematics)" href="http://dbpedia.org/resource/Constructivism_(mathematics)"><small>dbr</small>:Constructivism_(mathematics)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Institute_for_Advanced_Study" href="http://dbpedia.org/resource/Institute_for_Advanced_Study"><small>dbr</small>:Institute_for_Advanced_Study</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Kurt_Gödel" href="http://dbpedia.org/resource/Kurt_Gödel"><small>dbr</small>:Kurt_Gödel</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Military" href="http://dbpedia.org/resource/Military"><small>dbr</small>:Military</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Ray_Monk" href="http://dbpedia.org/resource/Ray_Monk"><small>dbr</small>:Ray_Monk</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/World_War_II" href="http://dbpedia.org/resource/World_War_II"><small>dbr</small>:World_War_II</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/The_University_of_Reading" href="http://dbpedia.org/resource/The_University_of_Reading"><small>dbr</small>:The_University_of_Reading</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Luitzen_Egbertus_Jan_Brouwer" href="http://dbpedia.org/resource/Luitzen_Egbertus_Jan_Brouwer"><small>dbr</small>:Luitzen_Egbertus_Jan_Brouwer</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Graz,_Austria" href="http://dbpedia.org/resource/Graz,_Austria"><small>dbr</small>:Graz,_Austria</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Kreisel–Putnam_logic" href="http://dbpedia.org/resource/Kreisel–Putnam_logic"><small>dbr</small>:Kreisel–Putnam_logic</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Unwinding_(proof_theory)" href="http://dbpedia.org/resource/Unwinding_(proof_theory)"><small>dbr</small>:Unwinding_(proof_theory)</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/almaMater"><small>dbp:</small>almaMater</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:almaMater" resource="http://dbpedia.org/resource/Trinity_College,_Cambridge" href="http://dbpedia.org/resource/Trinity_College,_Cambridge"><small>dbr</small>:Trinity_College,_Cambridge</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/birthDate"><small>dbp:</small>birthDate</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbp:birthDate" datatype="xsd:date" >1923-09-15</span><small> (xsd:date)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/birthPlace"><small>dbp:</small>birthPlace</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:birthPlace" resource="http://dbpedia.org/resource/Graz,_Austria" href="http://dbpedia.org/resource/Graz,_Austria"><small>dbr</small>:Graz,_Austria</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/deathDate"><small>dbp:</small>deathDate</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbp:deathDate" datatype="xsd:date" >2015-03-01</span><small> (xsd:date)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/deathPlace"><small>dbp:</small>deathPlace</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:deathPlace" resource="http://dbpedia.org/resource/Salzburg,_Austria" href="http://dbpedia.org/resource/Salzburg,_Austria"><small>dbr</small>:Salzburg,_Austria</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/doctoralStudents"><small>dbp:</small>doctoralStudents</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:doctoralStudents" resource="http://dbpedia.org/resource/Richard_Statman" href="http://dbpedia.org/resource/Richard_Statman"><small>dbr</small>:Richard_Statman</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:doctoralStudents" resource="http://dbpedia.org/resource/Henk_Barendregt" href="http://dbpedia.org/resource/Henk_Barendregt"><small>dbr</small>:Henk_Barendregt</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/field"><small>dbp:</small>field</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:field" resource="http://dbpedia.org/resource/Computer_Science" href="http://dbpedia.org/resource/Computer_Science"><small>dbr</small>:Computer_Science</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:field" resource="http://dbpedia.org/resource/Mathematics" href="http://dbpedia.org/resource/Mathematics"><small>dbr</small>:Mathematics</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:field" resource="http://dbpedia.org/resource/Philosophy" href="http://dbpedia.org/resource/Philosophy"><small>dbr</small>:Philosophy</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/imageSize"><small>dbp:</small>imageSize</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbp:imageSize" datatype="xsd:integer" >150</span><small> (xsd:integer)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/knownFor"><small>dbp:</small>knownFor</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:knownFor" resource="http://dbpedia.org/resource/Kreisel–Putnam_logic" href="http://dbpedia.org/resource/Kreisel–Putnam_logic"><small>dbr</small>:Kreisel–Putnam_logic</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:knownFor" resource="http://dbpedia.org/resource/Unwinding_(proof_theory)" href="http://dbpedia.org/resource/Unwinding_(proof_theory)"><small>dbr</small>:Unwinding_(proof_theory)</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/name"><small>dbp:</small>name</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbp:name" lang="en" >Georg Kreisel</span><small> (en)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/wikiPageUsesTemplate"><small>dbp:</small>wikiPageUsesTemplate</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Authority_control" href="http://dbpedia.org/resource/Template:Authority_control"><small>dbt</small>:Authority_control</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Birth_date" href="http://dbpedia.org/resource/Template:Birth_date"><small>dbt</small>:Birth_date</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:ISBN" href="http://dbpedia.org/resource/Template:ISBN"><small>dbt</small>:ISBN</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Reflist" href="http://dbpedia.org/resource/Template:Reflist"><small>dbt</small>:Reflist</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Short_description" href="http://dbpedia.org/resource/Template:Short_description"><small>dbt</small>:Short_description</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Death_date_and_age" href="http://dbpedia.org/resource/Template:Death_date_and_age"><small>dbt</small>:Death_date_and_age</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:MathGenealogy" href="http://dbpedia.org/resource/Template:MathGenealogy"><small>dbt</small>:MathGenealogy</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Infobox_scientist" href="http://dbpedia.org/resource/Template:Infobox_scientist"><small>dbt</small>:Infobox_scientist</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:FRS_1966" href="http://dbpedia.org/resource/Template:FRS_1966"><small>dbt</small>:FRS_1966</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/workInstitutions"><small>dbp:</small>workInstitutions</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:workInstitutions" resource="http://dbpedia.org/resource/University_of_Reading" href="http://dbpedia.org/resource/University_of_Reading"><small>dbr</small>:University_of_Reading</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:workInstitutions" resource="http://dbpedia.org/resource/Stanford_University" href="http://dbpedia.org/resource/Stanford_University"><small>dbr</small>:Stanford_University</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:workInstitutions" resource="http://dbpedia.org/resource/Institute_for_Advanced_Study" href="http://dbpedia.org/resource/Institute_for_Advanced_Study"><small>dbr</small>:Institute_for_Advanced_Study</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://purl.org/dc/terms/subject"><small>dcterms:</small>subject</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:British_emigrants_to_the_United_States" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:British_emigrants_to_the_United_States"><small>dbc</small>:British_emigrants_to_the_United_States</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Cambridge_University_Moral_Sciences_Club" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Cambridge_University_Moral_Sciences_Club"><small>dbc</small>:Cambridge_University_Moral_Sciences_Club</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:1923_births" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:1923_births"><small>dbc</small>:1923_births</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:20th-century_American_mathematicians" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:20th-century_American_mathematicians"><small>dbc</small>:20th-century_American_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:20th-century_British_mathematicians" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:20th-century_British_mathematicians"><small>dbc</small>:20th-century_British_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:21st-century_American_mathematicians" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:21st-century_American_mathematicians"><small>dbc</small>:21st-century_American_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:21st-century_British_mathematicians" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:21st-century_British_mathematicians"><small>dbc</small>:21st-century_British_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society"><small>dbc</small>:Fellows_of_the_Royal_Society</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Austrian_mathematicians" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Austrian_mathematicians"><small>dbc</small>:Austrian_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:2015_deaths" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:2015_deaths"><small>dbc</small>:2015_deaths</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Austrian_logicians" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Austrian_logicians"><small>dbc</small>:Austrian_logicians</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Austrian_emigrants_to_the_United_Kingdom" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Austrian_emigrants_to_the_United_Kingdom"><small>dbc</small>:Austrian_emigrants_to_the_United_Kingdom</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://purl.org/linguistics/gold/hypernym"><small>gold:</small>hypernym</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="gold:hypernym" resource="http://dbpedia.org/resource/Logician" prefix="gold: http://purl.org/linguistics/gold/" href="http://dbpedia.org/resource/Logician"><small>dbr</small>:Logician</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://schema.org/sameAs"><small>schema:</small>sameAs</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="schema:sameAs" resource="http://viaf.org/viaf/15582257" href="http://viaf.org/viaf/15582257">http://viaf.org/viaf/15582257</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"><small>rdf:</small>type</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.w3.org/2002/07/owl#Thing" href="http://www.w3.org/2002/07/owl#Thing"><small>owl</small>:Thing</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://xmlns.com/foaf/0.1/Person" href="http://xmlns.com/foaf/0.1/Person"><small>foaf</small>:Person</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/ontology/Person" href="http://dbpedia.org/ontology/Person"><small>dbo</small>:Person</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson" href="http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson"><small>dul</small>:NaturalPerson</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.wikidata.org/entity/Q19088" href="http://www.wikidata.org/entity/Q19088"><small>wikidata</small>:Q19088</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.wikidata.org/entity/Q215627" href="http://www.wikidata.org/entity/Q215627"><small>wikidata</small>:Q215627</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.wikidata.org/entity/Q5" href="http://www.wikidata.org/entity/Q5"><small>wikidata</small>:Q5</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.wikidata.org/entity/Q729" href="http://www.wikidata.org/entity/Q729"><small>wikidata</small>:Q729</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatAmericanMathematicians" href="http://dbpedia.org/class/yago/WikicatAmericanMathematicians"><small>yago</small>:WikicatAmericanMathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatAmericanPeople" href="http://dbpedia.org/class/yago/WikicatAmericanPeople"><small>yago</small>:WikicatAmericanPeople</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatAustrianMathematicians" href="http://dbpedia.org/class/yago/WikicatAustrianMathematicians"><small>yago</small>:WikicatAustrianMathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatBritishMathematicians" href="http://dbpedia.org/class/yago/WikicatBritishMathematicians"><small>yago</small>:WikicatBritishMathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatBritishPeople" href="http://dbpedia.org/class/yago/WikicatBritishPeople"><small>yago</small>:WikicatBritishPeople</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/ontology/Animal" href="http://dbpedia.org/ontology/Animal"><small>dbo</small>:Animal</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/ontology/Eukaryote" href="http://dbpedia.org/ontology/Eukaryote"><small>dbo</small>:Eukaryote</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/ontology/Scientist" href="http://dbpedia.org/ontology/Scientist"><small>dbo</small>:Scientist</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/ontology/Species" href="http://dbpedia.org/ontology/Species"><small>dbo</small>:Species</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://schema.org/Person" href="http://schema.org/Person"><small>schema</small>:Person</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatLivingPeople" href="http://dbpedia.org/class/yago/WikicatLivingPeople"><small>yago</small>:WikicatLivingPeople</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatLogicians" href="http://dbpedia.org/class/yago/WikicatLogicians"><small>yago</small>:WikicatLogicians</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatPeopleFromGraz" href="http://dbpedia.org/class/yago/WikicatPeopleFromGraz"><small>yago</small>:WikicatPeopleFromGraz</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.wikidata.org/entity/Q901" href="http://www.wikidata.org/entity/Q901"><small>wikidata</small>:Q901</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Academician109759069" href="http://dbpedia.org/class/yago/Academician109759069"><small>yago</small>:Academician109759069</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Adult109605289" href="http://dbpedia.org/class/yago/Adult109605289"><small>yago</small>:Adult109605289</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Alumnus109786338" href="http://dbpedia.org/class/yago/Alumnus109786338"><small>yago</small>:Alumnus109786338</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Associate109816771" href="http://dbpedia.org/class/yago/Associate109816771"><small>yago</small>:Associate109816771</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/CausalAgent100007347" href="http://dbpedia.org/class/yago/CausalAgent100007347"><small>yago</small>:CausalAgent100007347</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Colleague109935990" href="http://dbpedia.org/class/yago/Colleague109935990"><small>yago</small>:Colleague109935990</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Educator110045713" href="http://dbpedia.org/class/yago/Educator110045713"><small>yago</small>:Educator110045713</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Expert109617867" href="http://dbpedia.org/class/yago/Expert109617867"><small>yago</small>:Expert109617867</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Intellectual109621545" href="http://dbpedia.org/class/yago/Intellectual109621545"><small>yago</small>:Intellectual109621545</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/LivingThing100004258" href="http://dbpedia.org/class/yago/LivingThing100004258"><small>yago</small>:LivingThing100004258</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Logician110269785" href="http://dbpedia.org/class/yago/Logician110269785"><small>yago</small>:Logician110269785</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Mathematician110301261" href="http://dbpedia.org/class/yago/Mathematician110301261"><small>yago</small>:Mathematician110301261</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Object100002684" href="http://dbpedia.org/class/yago/Object100002684"><small>yago</small>:Object100002684</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Organism100004475" href="http://dbpedia.org/class/yago/Organism100004475"><small>yago</small>:Organism100004475</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Peer109626238" href="http://dbpedia.org/class/yago/Peer109626238"><small>yago</small>:Peer109626238</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Person100007846" href="http://dbpedia.org/class/yago/Person100007846"><small>yago</small>:Person100007846</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/PhysicalEntity100001930" href="http://dbpedia.org/class/yago/PhysicalEntity100001930"><small>yago</small>:PhysicalEntity100001930</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Professional110480253" href="http://dbpedia.org/class/yago/Professional110480253"><small>yago</small>:Professional110480253</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/YagoLegalActor" href="http://dbpedia.org/class/yago/YagoLegalActor"><small>yago</small>:YagoLegalActor</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/YagoLegalActorGeo" href="http://dbpedia.org/class/yago/YagoLegalActorGeo"><small>yago</small>:YagoLegalActorGeo</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Scholar110557854" href="http://dbpedia.org/class/yago/Scholar110557854"><small>yago</small>:Scholar110557854</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Scientist110560637" href="http://dbpedia.org/class/yago/Scientist110560637"><small>yago</small>:Scientist110560637</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Whole100003553" href="http://dbpedia.org/class/yago/Whole100003553"><small>yago</small>:Whole100003553</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians" href="http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians"><small>yago</small>:Wikicat20th-centuryMathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Wikicat21st-centuryMathematicians" href="http://dbpedia.org/class/yago/Wikicat21st-centuryMathematicians"><small>yago</small>:Wikicat21st-centuryMathematicians</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfReading" href="http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfReading"><small>yago</small>:WikicatAcademicsOfTheUniversityOfReading</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfCambridge" href="http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfCambridge"><small>yago</small>:WikicatAlumniOfTheUniversityOfCambridge</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatAlumniOfTrinityCollege,Cambridge" href="http://dbpedia.org/class/yago/WikicatAlumniOfTrinityCollege,Cambridge"><small>yago</small>:WikicatAlumniOfTrinityCollege,Cambridge</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatFellowsOfTheRoyalSociety" href="http://dbpedia.org/class/yago/WikicatFellowsOfTheRoyalSociety"><small>yago</small>:WikicatFellowsOfTheRoyalSociety</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://www.w3.org/2000/01/rdf-schema#comment"><small>rdfs:</small>comment</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="rdfs:comment" lang="en" >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.</span><small> (en)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="fr" >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.</span><small> (fr)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="ja" >ゲオルク・クライゼル（Georg Kreisel, 1923年9月15日 - 2015年3月1日）はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。</span><small> (ja)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="pt" >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).</span><small> (pt)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="de" >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 </span><small> (de)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://www.w3.org/2000/01/rdf-schema#label"><small>rdfs:</small>label</a> </td><td class="col-10 text-break"><ul> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="de" >Georg Kreisel</span><small> (de)</small></span></li> <li><span class="literal"><span property="rdfs:label" lang="en" >Georg Kreisel</span><small> (en)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="fr" >Georg Kreisel</span><small> (fr)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="ja" >ゲオルク・クライゼル</span><small> (ja)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="pt" >Georg Kreisel</span><small> (pt)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://www.w3.org/2002/07/owl#sameAs"><small>owl:</small>sameAs</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://rdf.freebase.com/ns/m.02rrf81" href="http://rdf.freebase.com/ns/m.02rrf81"><small>freebase</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://yago-knowledge.org/resource/Georg_Kreisel" href="http://yago-knowledge.org/resource/Georg_Kreisel"><small>yago-res</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://viaf.org/viaf/15582257" href="http://viaf.org/viaf/15582257">http://viaf.org/viaf/15582257</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://viaf.org/viaf/264105839" href="http://viaf.org/viaf/264105839">http://viaf.org/viaf/264105839</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://d-nb.info/gnd/119528592" href="http://d-nb.info/gnd/119528592">http://d-nb.info/gnd/119528592</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://d-nb.info/gnd/109002374X" href="http://d-nb.info/gnd/109002374X">http://d-nb.info/gnd/109002374X</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="https://dblp.org/pid/96/5233" href="https://dblp.org/pid/96/5233">https://dblp.org/pid/96/5233</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://www.wikidata.org/entity/Q951409" href="http://www.wikidata.org/entity/Q951409"><small>wikidata</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://data.bibliotheken.nl/id/thes/p06866642X" href="http://data.bibliotheken.nl/id/thes/p06866642X">http://data.bibliotheken.nl/id/thes/p06866642X</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://de.dbpedia.org/resource/Georg_Kreisel" href="http://de.dbpedia.org/resource/Georg_Kreisel"><small>dbpedia-de</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://fa.dbpedia.org/resource/گئورگ_کرایزل" href="http://fa.dbpedia.org/resource/گئورگ_کرایزل"><small>dbpedia-fa</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://fr.dbpedia.org/resource/Georg_Kreisel" href="http://fr.dbpedia.org/resource/Georg_Kreisel"><small>dbpedia-fr</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://ht.dbpedia.org/resource/Georg_Kreisel" href="http://ht.dbpedia.org/resource/Georg_Kreisel">http://ht.dbpedia.org/resource/Georg_Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://ja.dbpedia.org/resource/ゲオルク・クライゼル" href="http://ja.dbpedia.org/resource/ゲオルク・クライゼル"><small>dbpedia-ja</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://pt.dbpedia.org/resource/Georg_Kreisel" href="http://pt.dbpedia.org/resource/Georg_Kreisel"><small>dbpedia-pt</small>:Georg Kreisel</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="https://global.dbpedia.org/id/56Bcu" href="https://global.dbpedia.org/id/56Bcu">https://global.dbpedia.org/id/56Bcu</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://www.w3.org/ns/prov#wasDerivedFrom"><small>prov:</small>wasDerivedFrom</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="prov:wasDerivedFrom" resource="http://en.wikipedia.org/wiki/Georg_Kreisel?oldid=1124692023&ns=0" href="http://en.wikipedia.org/wiki/Georg_Kreisel?oldid=1124692023&ns=0"><small>wikipedia-en</small>:Georg_Kreisel?oldid=1124692023&ns=0</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://xmlns.com/foaf/0.1/isPrimaryTopicOf"><small>foaf:</small>isPrimaryTopicOf</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="foaf:isPrimaryTopicOf" resource="http://en.wikipedia.org/wiki/Georg_Kreisel" href="http://en.wikipedia.org/wiki/Georg_Kreisel"><small>wikipedia-en</small>:Georg_Kreisel</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://xmlns.com/foaf/0.1/name"><small>foaf:</small>name</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="foaf:name" lang="en" >Georg Kreisel</span><small> (en)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2">is <a class="uri" href="http://dbpedia.org/ontology/doctoralAdvisor"><small>dbo:</small>doctoralAdvisor</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbo:doctoralAdvisor" resource="http://dbpedia.org/resource/Richard_Statman" href="http://dbpedia.org/resource/Richard_Statman"><small>dbr</small>:Richard_Statman</a></span></li> </ul></td></tr><tr class="even"><td class="col-2">is <a class="uri" href="http://dbpedia.org/ontology/wikiPageRedirects"><small>dbo:</small>wikiPageRedirects</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbo:wikiPageRedirects" resource="http://dbpedia.org/resource/G._Kreisel" href="http://dbpedia.org/resource/G._Kreisel"><small>dbr</small>:G._Kreisel</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageRedirects" resource="http://dbpedia.org/resource/George_Kreisel" href="http://dbpedia.org/resource/George_Kreisel"><small>dbr</small>:George_Kreisel</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2">is <a class="uri" href="http://dbpedia.org/ontology/wikiPageWikiLink"><small>dbo:</small>wikiPageWikiLink</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_University_of_Cambridge_people" href="http://dbpedia.org/resource/List_of_University_of_Cambridge_people"><small>dbr</small>:List_of_University_of_Cambridge_people</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_J,_K,_L" href="http://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_J,_K,_L"><small>dbr</small>:List_of_fellows_of_the_Royal_Society_J,_K,_L</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_elected_in_1966" href="http://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_elected_in_1966"><small>dbr</small>:List_of_fellows_of_the_Royal_Society_elected_in_1966</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_philosophers_(I–Q)" href="http://dbpedia.org/resource/List_of_philosophers_(I–Q)"><small>dbr</small>:List_of_philosophers_(I–Q)</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_philosophers_born_in_the_20th_century" href="http://dbpedia.org/resource/List_of_philosophers_born_in_the_20th_century"><small>dbr</small>:List_of_philosophers_born_in_the_20th_century</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Richard_Statman" href="http://dbpedia.org/resource/Richard_Statman"><small>dbr</small>:Richard_Statman</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Deaths_in_March_2015" href="http://dbpedia.org/resource/Deaths_in_March_2015"><small>dbr</small>:Deaths_in_March_2015</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Index_of_philosophy_articles_(D–H)" href="http://dbpedia.org/resource/Index_of_philosophy_articles_(D–H)"><small>dbr</small>:Index_of_philosophy_articles_(D–H)</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Intermediate_logic" href="http://dbpedia.org/resource/Intermediate_logic"><small>dbr</small>:Intermediate_logic</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_logicians" href="http://dbpedia.org/resource/List_of_logicians"><small>dbr</small>:List_of_logicians</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Mathematical_logic" href="http://dbpedia.org/resource/Mathematical_logic"><small>dbr</small>:Mathematical_logic</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Anne_Sjerp_Troelstra" href="http://dbpedia.org/resource/Anne_Sjerp_Troelstra"><small>dbr</small>:Anne_Sjerp_Troelstra</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Cambridge_University_Moral_Sciences_Club" href="http://dbpedia.org/resource/Cambridge_University_Moral_Sciences_Club"><small>dbr</small>:Cambridge_University_Moral_Sciences_Club</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Henk_Barendregt" href="http://dbpedia.org/resource/Henk_Barendregt"><small>dbr</small>:Henk_Barendregt</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Kreisel_(surname)" href="http://dbpedia.org/resource/Kreisel_(surname)"><small>dbr</small>:Kreisel_(surname)</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Michèle_Artigue" href="http://dbpedia.org/resource/Michèle_Artigue"><small>dbr</small>:Michèle_Artigue</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Admissible_rule" href="http://dbpedia.org/resource/Admissible_rule"><small>dbr</small>:Admissible_rule</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_Austrians" href="http://dbpedia.org/resource/List_of_Austrians"><small>dbr</small>:List_of_Austrians</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/The_Message_to_the_Planet" href="http://dbpedia.org/resource/The_Message_to_the_Planet"><small>dbr</small>:The_Message_to_the_Planet</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/A._C._Ewing" href="http://dbpedia.org/resource/A._C._Ewing"><small>dbr</small>:A._C._Ewing</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Curry–Howard_correspondence" href="http://dbpedia.org/resource/Curry–Howard_correspondence"><small>dbr</small>:Curry–Howard_correspondence</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Francis_Crick" href="http://dbpedia.org/resource/Francis_Crick"><small>dbr</small>:Francis_Crick</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/History_of_logic" href="http://dbpedia.org/resource/History_of_logic"><small>dbr</small>:History_of_logic</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers" href="http://dbpedia.org/resource/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers"><small>dbr</small>:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_Jewish_mathematicians" href="http://dbpedia.org/resource/List_of_Jewish_mathematicians"><small>dbr</small>:List_of_Jewish_mathematicians</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/2015_in_philosophy" href="http://dbpedia.org/resource/2015_in_philosophy"><small>dbr</small>:2015_in_philosophy</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Jean_van_Heijenoort" href="http://dbpedia.org/resource/Jean_van_Heijenoort"><small>dbr</small>:Jean_van_Heijenoort</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Heyting_arithmetic" href="http://dbpedia.org/resource/Heyting_arithmetic"><small>dbr</small>:Heyting_arithmetic</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Remarks_on_the_Foundations_of_Mathematics" href="http://dbpedia.org/resource/Remarks_on_the_Foundations_of_Mathematics"><small>dbr</small>:Remarks_on_the_Foundations_of_Mathematics</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Frederick_Rowbottom" href="http://dbpedia.org/resource/Frederick_Rowbottom"><small>dbr</small>:Frederick_Rowbottom</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Set_theory" href="http://dbpedia.org/resource/Set_theory"><small>dbr</small>:Set_theory</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Skewes's_number" href="http://dbpedia.org/resource/Skewes's_number"><small>dbr</small>:Skewes's_number</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/G._Kreisel" href="http://dbpedia.org/resource/G._Kreisel"><small>dbr</small>:G._Kreisel</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/George_Kreisel" href="http://dbpedia.org/resource/George_Kreisel"><small>dbr</small>:George_Kreisel</a></span></li> </ul></td></tr><tr class="even"><td class="col-2">is <a class="uri" href="http://dbpedia.org/property/doctoralAdvisor"><small>dbp:</small>doctoralAdvisor</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbp:doctoralAdvisor" resource="http://dbpedia.org/resource/Richard_Statman" href="http://dbpedia.org/resource/Richard_Statman"><small>dbr</small>:Richard_Statman</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2">is <a class="uri" href="http://xmlns.com/foaf/0.1/primaryTopic"><small>foaf:</small>primaryTopic</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="foaf:primaryTopic" resource="http://en.wikipedia.org/wiki/Georg_Kreisel" href="http://en.wikipedia.org/wiki/Georg_Kreisel"><small>wikipedia-en</small>:Georg_Kreisel</a></span></li> </ul></td></tr> </tbody> </table> </div> </div> </div> </section> <!-- property-table --> <!-- footer --> <section> <div class="container-xl"> <div class="text-center p-4 bg-light"> <a href="https://virtuoso.openlinksw.com/" title="OpenLink Virtuoso"><img class="powered_by" src="/statics/images/virt_power_no_border.png" alt="Powered by OpenLink Virtuoso"/></a>    <a href="http://linkeddata.org/"><img alt="This material is Open Knowledge" src="/statics/images/LoDLogo.gif"/></a>     <a href="http://dbpedia.org/sparql"><img alt="W3C Semantic Web Technology" src="/statics/images/sw-sparql-blue.png"/></a>     <a href="https://opendefinition.org/"><img alt="This material is Open Knowledge" src="/statics/images/od_80x15_red_green.png"/></a>    <span style="display:none;" about="" resource="http://www.w3.org/TR/rdfa-syntax" rel="dc:conformsTo"> <a href="https://validator.w3.org/check?uri=referer"> <img src="https://www.w3.org/Icons/valid-xhtml-rdfa" alt="Valid XHTML + RDFa" /> </a> </span> <br /> <small class="text-muted"> This content was extracted from <a href="http://en.wikipedia.org/wiki/Georg_Kreisel">Wikipedia</a> and is licensed under the <a href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution-ShareAlike 3.0 Unported License</a> </small> </div> </div> </section> <!-- #footer --> <!-- scripts --> <script src="https://cdnjs.cloudflare.com/ajax/libs/bootstrap/5.2.1/js/bootstrap.bundle.min.js" integrity="sha512-1TK4hjCY5+E9H3r5+05bEGbKGyK506WaDPfPe1s/ihwRjr6OtL43zJLzOFQ+/zciONEd+sp7LwrfOCnyukPSsg==" crossorigin="anonymous"> </script> </body> </html>