@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://en.wikipedia.org/wiki/Kurt_G\u00F6del>	foaf:primaryTopic	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
@prefix ns1:	<https://dbpedia.org/ontology/> .
@prefix ns2:	<https://dbpedia.org/resource/> .
ns2:Characteristica_universalis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Nelson_Goodman	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Art_of_Fugue	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Anathem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Wolfgang_Rautenberg	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_machine>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Static_program_analysis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Levi_Weaver	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Arithmetization_of_analysis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Philipp_Furtw\u00E4ngler>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Detailed_logarithmic_timeline	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:January_14	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Meanings_of_minor_planet_names:_3001\u20134000>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurt	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageDisambiguates	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_German_mathematicians	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Penrose\u2013Lucas_argument>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Algorithm_characterizations	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Karl_Sigmund	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Carnap_Papers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Compactness_theorem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_scientific_laws_named_after_people	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Shadows_of_the_Mind	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Orchestrated_objective_reduction	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Thoralf_Skolem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_people_who_died_of_starvation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_artificial_intelligence	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hilbert\u2013Bernays_provability_conditions>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Reflection_principle	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hao_Wang_(academic)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Law_of_thought	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Remarks_on_the_Foundations_of_Mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Dialectica_interpretation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/\u03A9-consistent_theory>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Entscheidungsproblem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Axiom_of_limitation_of_size	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Gentzen\u0027s_consistency_proof>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Consistency	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Glossary_of_set_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
@prefix ns3:	<https://dbpedia.org/property/> .
ns2:Glossary_of_set_theory	ns3:defn	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Janna_Levin	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Jacques_Bouveresse	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Principles_of_Mathematical_Logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Cardinality_of_the_continuum	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Hypercomputation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Axiom_of_constructibility	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1906_in_philosophy>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Pierre_Cassou-Nogu\u00E8s>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Jack_Copeland	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Story_of_Maths	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_important_publications_in_theoretical_computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1931_in_philosophy>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Gaisi_Takeuti	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:April_28	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_mathematical_logic_topics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_Prize>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Einstein_Intersection	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Certainty	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/De_Bruijn\u2013Erd\u0151s_theorem_(graph_theory)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Loop_variant	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Modal_companion	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:General_relativity	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Trans-Siberian_Railway	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_National_Medal_of_Science_laureates	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Austria	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Solomon_Feferman	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Philosophy_of_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_Lecture>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Alfred_Tarski	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Proof_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Theory_of_computation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	rdf:type	foaf:Person .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	rdf:type	wikidata:Q215627 ,
		wikidata:Q19088 .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	rdf:type	owl:Thing .
@prefix ns7:	<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	rdf:type	ns7:NaturalPerson ,
		ns1:Scientist .
@prefix schema:	<http://schema.org/> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	rdf:type	schema:Person ,
		wikidata:Q5 ,
		wikidata:Q729 ,
		wikidata:Q901 ,
		ns1:Species ,
		ns1:Animal ,
		ns1:Eukaryote ,
		ns1:Person ;
	owl:sameAs	<http://azb.dbpedia.org/resource/\u06A9\u0648\u0631\u062A_\u0642\u0648\u062F\u0644> ,
		<http://zh.dbpedia.org/resource/\u5E93\u5C14\u7279\u00B7\u54E5\u5FB7\u5C14> ,
		<http://fi.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ky.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u04E9\u0434\u0435\u043B\u044C> ,
		<http://mk.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0435\u0434\u0435\u043B> ,
		<http://arz.dbpedia.org/resource/\u0643\u0648\u0631\u062A_\u062C\u0648\u062F\u0644> ,
		<http://commons.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://el.dbpedia.org/resource/\u039A\u03BF\u03C5\u03C1\u03C4_\u0393\u03BA\u03AD\u03BD\u03C4\u03B5\u03BB> ,
		<http://war.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://hr.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://pt.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://pa.dbpedia.org/resource/\u0A15\u0A41\u0A30\u0A1F_\u0A17\u0A4B\u0A07\u0A21\u0A32> ,
		<http://kn.dbpedia.org/resource/\u0C95\u0CB0\u0CCD\u0C9F\u0CCD_\u0C97\u0CC1\u0CA1\u0CCD\u0CB2\u0CCD> ,
		<http://he.dbpedia.org/resource/\u05E7\u05D5\u05E8\u05D8_\u05D2\u05D3\u05DC> ,
		<http://et.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ro.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://sr.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0435\u0434\u0435\u043B> ,
		<http://bs.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://simple.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://az.dbpedia.org/resource/Kurt_H\u00F6del> ,
		<https://dblp.org/pid/165/0657> ,
		<http://nl.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://mg.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://d-nb.info/gnd/175702098> ,
		<http://be.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0451\u0434\u044D\u043B\u044C> ,
		<http://fa.dbpedia.org/resource/\u06A9\u0648\u0631\u062A_\u06AF\u0648\u062F\u0644> ,
		<http://tl.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://de.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://hi.dbpedia.org/resource/\u0915\u0941\u0930\u094D\u091F_\u0917\u0947\u0921\u0947\u0932> ,
		<http://lv.dbpedia.org/resource/Kurts_G\u0113dels> ,
		<http://ja.dbpedia.org/resource/\u30AF\u30EB\u30C8\u30FB\u30B2\u30FC\u30C7\u30EB> ,
		<http://uk.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0435\u0434\u0435\u043B\u044C> ,
		<http://my.dbpedia.org/resource/\u1000\u102C\u1037_\u1002\u1030\u1012\u101A\u103A> ,
		<http://es.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ca.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://is.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ar.dbpedia.org/resource/\u0643\u0648\u0631\u062A_\u063A\u0648\u062F\u0644> ,
		<http://jv.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://gl.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://sh.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ru.dbpedia.org/resource/\u0413\u0451\u0434\u0435\u043B\u044C,_\u041A\u0443\u0440\u0442> ,
		<http://ia.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://no.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ast.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://af.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://bn.dbpedia.org/resource/\u0995\u09C1\u09B0\u09CD\u099F_\u0997\u09CD\u09AF\u09CB\u09A1\u09C7\u09B2> ,
		<https://global.dbpedia.org/id/3qiA5> ,
		<http://sq.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://io.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://fo.dbpedia.org/resource/Kurt_G\u00F6del> ,
		wikidata:Q41390 ,
		<http://sl.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://da.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://bg.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u044C\u043E\u0434\u0435\u043B> ,
		<http://id.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://fy.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://eu.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://th.dbpedia.org/resource/\u0E04\u0E27\u0E23\u0E4C\u0E17_\u0E40\u0E01\u0E2D\u0E40\u0E14\u0E34\u0E25> ,
		<http://viaf.org/viaf/97851774> ,
		<http://tr.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://cs.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ur.dbpedia.org/resource/\u06A9\u0631\u0679_\u06AF\u0648\u0688\u0644> ,
		<http://d-nb.info/gnd/11869569X> ,
		<http://rdf.freebase.com/ns/m.048c2> ,
		<http://sco.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://vi.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://nn.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://tg.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u04EF\u0434\u0435\u043B> ,
		<http://mr.dbpedia.org/resource/\u0915\u0941\u0930\u094D\u091F_\u0917\u094D\u092F\u094B\u0921\u0947\u0932> .
@prefix ns9:	<http://data.bibliotheken.nl/id/thes/> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	owl:sameAs	ns9:p068721757 ,
		<http://pl.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://hu.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://hy.dbpedia.org/resource/\u053F\u0578\u0582\u0580\u057F_\u0533\u0575\u0578\u0564\u0565\u056C> ,
		<http://sk.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ht.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ko.dbpedia.org/resource/\uCFE0\uB974\uD2B8_\uAD34\uB378> ,
		<http://sv.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://fr.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://ta.dbpedia.org/resource/\u0B95\u0BBF\u0BAF\u0BC7\u0B9F\u0BB2\u0BCD> ,
		<http://pnb.dbpedia.org/resource/\u06A9\u0631\u0679_\u06AF\u0648\u0688\u0644> ,
		<http://it.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://new.dbpedia.org/resource/\u0915\u0930\u094D\u091F_\u0917\u094B\u0921\u0947\u0932> ,
		<http://sa.dbpedia.org/resource/\u0915\u0930\u094D\u091F_\u0917\u094B\u0921\u0947\u0932> ,
		<http://ml.dbpedia.org/resource/\u0D15\u0D41\u0D7C\u0D1F\u0D4D\u0D1F\u0D4D_\u0D17\u0D4B\u0D21\u0D7D> ,
		<http://yo.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://pms.dbpedia.org/resource/Kurt_G\u00F6del> ,
		<http://la.dbpedia.org/resource/Curtius_G\u00F6del> ,
		<http://eo.dbpedia.org/resource/Kurt_G\u00F6del> ;
	foaf:name	"Kurt G\u00F6del"@en .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	rdfs:label	"\u041A\u0443\u0440\u0442 \u0413\u0435\u0434\u0435\u043B\u044C"@uk ,
		"Kurt G\u00F6del"@ca ,
		"Kurt G\u00F6del"@nl ,
		"Kurt G\u00F6del"@sv ,
		"\u5E93\u5C14\u7279\u00B7\u54E5\u5FB7\u5C14"@zh ,
		"Kurt G\u00F6del"@en ,
		"Kurt G\u00F6del"@pt ,
		"Kurt G\u00F6del"@in ,
		"\u30AF\u30EB\u30C8\u30FB\u30B2\u30FC\u30C7\u30EB"@ja ,
		"Kurt G\u00F6del"@cs ,
		"Kurt G\u00F6del"@it ,
		"Kurt G\u00F6del"@eo ,
		"Kurt G\u00F6del"@de ,
		"Kurt G\u00F6del"@es ,
		"Kurt G\u00F6del"@fr ,
		"\u0413\u0451\u0434\u0435\u043B\u044C, \u041A\u0443\u0440\u0442"@ru ,
		"Kurt G\u00F6del"@eu ,
		"\uCFE0\uB974\uD2B8 \uAD34\uB378"@ko ,
		"\u0643\u0648\u0631\u062A \u063A\u0648\u062F\u0644"@ar ,
		"Kurt G\u00F6del"@pl ,
		"\u039A\u03BF\u03C5\u03C1\u03C4 \u0393\u03BA\u03AD\u03BD\u03C4\u03B5\u03BB"@el .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix ns12:	<https://dbpedia.org/resource/Category:> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	dct:subject	ns12:Set_theorists ,
		ns12:Platonists ,
		ns12:Naturalized_citizens_of_the_United_States ,
		ns12:Proof_theorists ,
		ns12:Members_of_the_American_Philosophical_Society ,
		ns12:National_Medal_of_Science_laureates ,
		ns12:American_logicians ,
		ns12:Vienna_Circle ,
		ns12:Corresponding_fellows_of_the_British_Academy ,
		<https://dbpedia.org/resource/Category:20th-century_Austrian_mathematicians> ,
		<https://dbpedia.org/resource/Category:1978_deaths> ,
		ns12:American_people_of_Moravian-German_descent ,
		ns12:Burials_at_Princeton_Cemetery ,
		ns12:University_of_Notre_Dame_faculty ,
		ns12:Princeton_University_faculty ,
		ns12:Analytic_philosophers ,
		ns12:Foreign_members_of_the_Royal_Society ,
		ns12:Austrian_logicians ,
		<https://dbpedia.org/resource/Category:20th-century_American_philosophers> ,
		ns12:Institute_for_Advanced_Study_faculty ,
		ns12:Ontologists ,
		ns12:Austrian_Protestants ,
		ns12:Protestant_philosophers ,
		ns12:Scientists_from_Brno ,
		ns12:Austrian_people_of_Moravian-German_descent ,
		ns12:People_from_the_Margraviate_of_Moravia ,
		ns12:American_Protestants ,
		ns12:University_of_Vienna_alumni ,
		<https://dbpedia.org/resource/Category:20th-century_Austrian_philosophers> ,
		ns12:Austrian_emigrants_to_the_United_States ,
		ns12:Deaths_by_starvation ,
		ns12:Mathematicians_from_Austria-Hungary ,
		<https://dbpedia.org/resource/Category:20th-century_American_mathematicians> ,
		ns12:American_relativity_theorists ,
		<https://dbpedia.org/resource/Category:1906_births> ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Young_Kurt_G\u00F6del_as_a_student_in_1925.jpg> ,
		<http://commons.wikimedia.org/wiki/Special:FilePath/GoedelKurt.jpg> ,
		<http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_godel_tomb_2004.jpg> ,
		<http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_G\u00F6del_signature.svg> ,
		<http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_g\u00F6del.jpg> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Kurt_G\u00F6del?oldid=1311467788&ns=0> ;
	foaf:isPrimaryTopicOf	<http://en.wikipedia.org/wiki/Kurt_G\u00F6del> ;
	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/David_Malone_(independent_filmmaker)> ,
		ns2:List_of_Fellows_of_the_Royal_Society_elected_in_1968 ,
		ns12:American_people_of_Moravian-German_descent ,
		ns2:Rheumatic_fever ,
		ns2:Trans-Siberian_Railway ,
		ns2:First-order_predicate_calculus ,
		ns2:American_Philosophical_Society ,
		ns2:Mathematician ,
		ns2:Relative_consistency ,
		ns2:Ordinal_definable_set ,
		ns12:Austro-Hungarian_mathematicians ,
		ns2:General_relativity ,
		ns12:University_of_Notre_Dame_faculty ,
		ns2:Theism ,
		ns2:Constructible_universe ,
		ns2:T-norm ,
		ns2:Einstein_field_equation ,
		ns12:Foreign_Members_of_the_Royal_Society ,
		ns2:Pantheism ,
		<https://dbpedia.org/resource/Category:1978_deaths> ,
		<https://dbpedia.org/resource/I.Q._(film)> ,
		ns12:Austrian_emigrants_to_the_United_States ,
		ns2:Set_theory ,
		ns2:Human_brain ,
		ns2:Diagonal_lemma ,
		<https://dbpedia.org/resource/Johann_Nelb\u00F6ck> ,
		ns2:Gottfried_Leibniz ,
		<https://dbpedia.org/resource/Category:20th-century_American_mathematicians> ,
		ns2:Paul_Benacerraf ,
		<https://dbpedia.org/resource/Completeness_(logic)> ,
		ns2:History_of_mathematics ,
		ns2:List_of_Austrian_scientists ,
		ns2:Modal_companion ,
		ns2:Mathematical_logic ,
		ns2:Wilhelm_Ackermann ,
		ns2:Islam ,
		ns2:Isaac_Newton ,
		<https://dbpedia.org/resource/Blue_Hill,_Maine> ,
		ns2:Julian_Schwinger ,
		<https://dbpedia.org/resource/Hao_Wang_(academic)> ,
		<https://dbpedia.org/resource/\u03A9-consistent_theory> ,
		ns2:Dialectica_interpretation ,
		<https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory> ,
		<https://dbpedia.org/resource/John_W._Dawson,_Jr> ,
		<https://dbpedia.org/resource/File:Kurt_godel_tomb_2004.jpg> ,
		ns2:Inanition ,
		<https://dbpedia.org/resource/J.R._Lucas> ,
		ns12:Princeton_University_faculty ,
		<https://dbpedia.org/resource/G\u00F6del\u2013Gentzen_translation> ,
		ns2:T-norm_fuzzy_logic ,
		<https://dbpedia.org/resource/G\u00F6del_metric> ,
		<https://dbpedia.org/resource/A._K._Peters> ,
		<https://dbpedia.org/resource/Theory_of_Colours_(book)> ,
		<https://dbpedia.org/resource/Category:1906_births> ,
		ns2:Physics ,
		ns2:Institute_for_Advanced_Study ,
		ns2:Albert_Einstein ,
		<https://dbpedia.org/resource/Hilbert\u0027s_Program> ,
		ns2:Turing-complete ,
		ns2:American_Mathematical_Society ,
		ns2:Closed_timelike_curve ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_Loophole> ,
		ns2:ZFC ,
		ns2:Anselm_of_Canterbury ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_speed-up_theorem> ,
		<https://dbpedia.org/resource/Princeton,_New_Jersey> ,
		ns2:Douglas_Hofstadter ,
		ns2:Hilary_Putnam ,
		ns2:Phillip_Forman ,
		<https://dbpedia.org/resource/G\u00F6del\u2013Dummett_logic> ,
		ns2:Philosopher ,
		ns2:Jean_van_Heijenoort ,
		ns2:Albert_Einstein_Award ,
		ns2:Alfred_North_Whitehead ,
		ns2:Theoretical_physics ,
		ns2:Computable_function ,
		ns2:Habilitation ,
		ns2:Principia_Mathematica ,
		ns2:Czechoslovakia ,
		ns2:Gottlob_Frege ,
		ns2:University_of_Notre_Dame ,
		<https://dbpedia.org/resource/Hans_Hahn_(mathematician)> ,
		<https://dbpedia.org/resource/Ed_Regis_(author)> ,
		<https://dbpedia.org/resource/N\u00E9e> ,
		ns12:Deaths_by_starvation ,
		<https://dbpedia.org/resource/G\u00F6del_operation> ,
		ns2:Peano_axioms ,
		ns2:Ernest_Nagel ,
		ns12:People_with_acquired_American_citizenship ,
		ns2:First-order_logic ,
		ns12:American_Protestants ,
		ns2:Classical_logic ,
		ns2:Time_travel ,
		ns2:Modal_logic ,
		ns12:Vienna_Circle ,
		ns12:People_with_paranoid_personality_disorder ,
		ns2:Aristotle ,
		ns12:Austrian_logicians ,
		<https://dbpedia.org/resource/G\u00F6del_number> ,
		ns2:The_New_York_Times ,
		ns2:Lou_Jacobi ,
		ns2:Brno ,
		ns2:Nazi_regime ,
		<https://dbpedia.org/resource/Structure_(mathematical_logic)> ,
		ns2:Oskar_Morgenstern ,
		ns2:Primitive_recursive_functional ,
		ns2:Bologna ,
		<https://dbpedia.org/resource/Hahn\u2013Banach_theorem> ,
		ns2:German_language ,
		ns12:Analytic_philosophers ,
		ns2:Doctorate ,
		ns2:Gabelsberger_shorthand ,
		ns2:Rudolf_Carnap ,
		ns2:Foundations_of_mathematics ,
		ns12:Set_theorists ,
		ns12:Platonists ,
		ns2:Axiomatic_system ,
		ns2:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems ,
		ns2:Princeton_Cemetery ,
		ns2:World_War_II ,
		ns12:Austrian_philosophers ,
		ns2:Vienna ,
		ns2:Mathematical_Platonism ,
		<https://dbpedia.org/resource/G\u00F6del_machine> ,
		ns2:Ivor_Grattan-Guinness ,
		<https://dbpedia.org/resource/U.S._citizenship> ,
		<https://dbpedia.org/resource/W._W._Norton_&_Company> ,
		ns12:Burials_at_Princeton_Cemetery ,
		ns2:Peano_arithmetic ,
		<https://dbpedia.org/resource/M._C._Escher> ,
		ns2:Provability_logic ,
		ns2:Czech_Republic ,
		<https://dbpedia.org/resource/Category:20th-century_American_philosophers> ,
		ns2:Johann_Sebastian_Bach ,
		ns2:Infinite-valued_logic ,
		ns2:Stephen_Kleene ,
		ns2:Association_for_Symbolic_Logic ,
		ns2:Natural_numbers ,
		ns12:Ontologists ,
		ns2:Logic ,
		ns2:Intuitionistic_logic ,
		ns2:Strange_loop ,
		ns2:Axiom ,
		ns2:Raymond_Smullyan ,
		ns2:Natural_number ,
		ns12:Austrian_Protestants ,
		ns12:Protestant_philosophers ,
		<https://dbpedia.org/resource/R._B._Braithwaite> ,
		<https://dbpedia.org/resource/John_W._Dawson_Jr.> ,
		ns2:Omega-consistency ,
		<https://dbpedia.org/resource/U.S._Constitution> ,
		ns2:Formal_system ,
		ns2:Nazi_Germany ,
		ns2:Richard_Dedekind ,
		ns2:Stephen_Budiansky ,
		ns2:Slingshot_argument ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorems> ,
		ns2:Vienna_Circle ,
		<https://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory> ,
		<https://dbpedia.org/resource/Zermelo\u2013Fraenkel_axioms> ,
		ns2:Second_Conference_on_the_Epistemology_of_the_Exact_Sciences ,
		ns2:Jaakko_Hintikka ,
		ns2:Austria-Hungary ,
		ns2:Mathematics ,
		ns2:Ontological_argument ,
		<https://dbpedia.org/resource/Kurt_G\u00F6del_Society> ,
		ns2:Principles_of_Mathematical_Logic ,
		<https://dbpedia.org/resource/Einstein\u0027s_field_equations> ,
		<https://dbpedia.org/resource/Tarski\u0027s_undefinability_theorem> ,
		ns2:Intermediate_logic ,
		ns2:Adolf_Hitler ,
		ns2:John_von_Neumann ,
		ns2:Johann_Wolfgang_von_Goethe ,
		ns2:Dissertation ,
		ns2:Number_theory ,
		ns2:Persecutory_delusion ,
		ns2:Axiom_of_constructibility ,
		ns12:American_relativity_theorists ,
		ns12:Corresponding_Fellows_of_the_British_Academy ,
		ns12:American_logicians ,
		ns2:Solomon_Feferman ,
		ns2:Immanuel_Kant ,
		ns2:Bertrand_Russell ,
		ns2:Georg_Cantor ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_ontological_proof> ,
		ns2:Proof_theory ,
		ns2:Olga_Taussky-Todd ,
		<https://dbpedia.org/resource/G\u00F6del_numbering> ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem> ,
		<https://dbpedia.org/resource/G\u00F6del,_Escher,_Bach> ,
		ns2:Axiom_of_choice ,
		ns2:Analytic_philosophy ,
		ns12:Institute_for_Advanced_Study_faculty ,
		ns2:University_of_Vienna ,
		<https://dbpedia.org/resource/Category:20th-century_Austrian_mathematicians> ,
		ns12:University_of_Vienna_alumni ,
		ns2:Compactness_theorem ,
		ns2:Recursion_theory ,
		ns2:Computably_enumerable ,
		ns2:Generalized_continuum_hypothesis ,
		ns2:BBC ,
		ns2:Edmund_Husserl ,
		ns2:Logician ,
		<https://dbpedia.org/resource/G\u00F6del_Prize> ,
		ns2:Fellow_of_the_Royal_Society ,
		ns2:David_Hilbert ,
		ns2:Mathematical_realism ,
		ns12:Scientists_from_Brno ,
		ns2:Gottfried_Wilhelm_von_Leibniz ,
		ns12:People_from_the_Margraviate_of_Moravia ,
		ns12:Austrian_people_of_Moravian-German_descent ,
		ns2:Gottfried_Wilhelm_Leibniz ,
		ns2:Anschluss ,
		<https://dbpedia.org/resource/G\u00F6del_logic> ,
		ns2:Recursive_set ,
		ns2:Spinoza ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_\u03B2_function> ,
		ns2:First_World_War ,
		ns2:Vienna_Academy_of_Science ,
		<https://dbpedia.org/resource/Original_proof_of_G\u00F6del\u0027s_completeness_theorem> ,
		ns2:Paul_Cohen ,
		ns2:Princeton_Hospital ,
		<https://dbpedia.org/resource/K\u00F6nigsberg> ,
		ns2:World_Logic_Day ,
		ns2:International_Congress_of_Mathematicians ,
		ns2:National_Medal_of_Science ,
		ns2:List_of_pioneers_in_computer_science ,
		ns12:National_Medal_of_Science_laureates ,
		ns2:Moritz_Schlick ,
		ns2:Condensation_lemma ,
		ns2:Mental_disorder ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_constructible_universe> ,
		ns2:Continuum_hypothesis ;
	ns1:description	"matematico, logico e filosofo austriaco"@it ,
		"\u0631\u06CC\u0627\u0636\u06CC\u200C\u062F\u0627\u0646\u060C \u0645\u0646\u0637\u0642\u200C\u062F\u0627\u0646 \u0648 \u0641\u06CC\u0644\u0633\u0648\u0641 \u0622\u0644\u0645\u0627\u0646\u06CC"@fa ,
		"\u0430\u0432\u0441\u0442\u0440\u0456\u0439\u0441\u044C\u043A\u043E-\u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u044C\u043A\u0438\u0439 \u043B\u043E\u0433\u0456\u043A, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A \u0456 \u0444\u0456\u043B\u043E\u0441\u043E\u0444 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438"@uk ,
		"rakousk\u00FD filozof, logik a matematik"@cs ,
		"\uC218\uD559\uC790"@ko ,
		"\u0C97\u0CA3\u0CBF\u0CA4\u0C9C\u0CCD\u0C9E"@kn ,
		"pakar logika, matematika dan filsafat matematika berkebangsaan Austria-Amerika (1906-1978)"@in ,
		"\u00F6sterreichisch-amerikanischer Mathematiker und Logiker (1906-1978)"@de ,
		"\u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043A\u0438 \u043B\u043E\u0433\u0438\u0447\u0430\u0440 \u0438 \u0444\u0438\u043B\u043E\u0437\u043E\u0444 (1906\u20131978)"@sr ,
		"math\u00E9maticien austro-am\u00E9ricain"@fr ,
		"Riyaziyyat m\u0259ntiq\u00E7isi v\u0259 filosof"@az ,
		"austriacki logik i matematyk"@pl ,
		"\u0911\u0938\u094D\u091F\u094D\u0930\u093F\u092F\u093E\u0908 (\u0905\u092E\u0947\u0930\u093F\u0915\u0940(\u092C\u093E\u0926 \u092E\u0947\u0902)) \u0924\u0930\u094D\u0915\u0936\u093E\u0938\u094D\u0924\u094D\u0930\u0940, \u0917\u0923\u093F\u0924\u091C\u094D\u091E \u0914\u0930 \u0926\u093E\u0930\u094D\u0936\u0928\u093F\u0915 (1906-1948)"@hi ,
		"matem\u00E1ticu austriaco-americanu"@ast ,
		"osztr\u00E1k matematikus"@hu ,
		"it\u00E4valtalais-yhdysvaltalainen matemaatikko ja filosofi"@fi ,
		"\u0639\u0627\u0644\u0645 \u0631\u064A\u0627\u0636\u064A\u0627\u062A \u0648\u0641\u064A\u0632\u064A\u0627\u0621 \u0646\u0645\u0633\u0627\u0648\u064A/ \u0623\u0645\u0631\u064A\u0643\u064A"@ar ,
		"United States of America karimba \u014Bun ny\u025B doo"@dag ,
		"\u00F6sterrikisk-amerikansk, logiker, matematiker och matematikfilosof"@sv ,
		"\u5967\u5730\u5229\u88D4\u7F8E\u570B\u908F\u8F2F\u5B78\u5BB6\uFF0C\u6578\u5B78\u5BB6\u548C\u6578\u5B78\u54F2\u5B78\u5BB6\uFF081906\uFF0D1978\uFF09"@zh ,
		"\u091B\u092E\u094D\u0939 \u0928\u093E\u0902 \u091C\u093E\u092E\u094D\u0939 \u0917\u0923\u093F\u0924\u093F\u091C\u094D\u091E"@new ,
		"\u30AA\u30FC\u30B9\u30C8\u30EA\u30A2\u30FB\u30CF\u30F3\u30AC\u30EA\u30FC\u5E1D\u56FD\u51FA\u8EAB\u306E\u6570\u5B66\u8005\u3001\u8AD6\u7406\u5B66\u8005\u3001\u54F2\u5B66\u8005"@ja ,
		"Amerikaans wiskundige"@nl ,
		"matematikisto"@io ,
		"a\u016Dstra Usona matematikisto"@eo ,
		"\u00F8strigsk-amerikansk logiker og matematiker (1906-1978)"@da ,
		"Avusturyal\u0131-Amerikal\u0131 matematik\u00E7i (1906 \u2013 1978)"@tr ,
		"\u0391\u03C5\u03C3\u03C4\u03C1\u03BF-\u03B1\u03BC\u03B5\u03C1\u03B9\u03BA\u03AC\u03BD\u03BF\u03C2 \u03B5\u03C0\u03B9\u03C3\u03C4\u03AE\u03BC\u03BF\u03BD\u03B1\u03C2 \u03C4\u03B7\u03C2 \u03BB\u03BF\u03B3\u03B9\u03BA\u03AE\u03C2, \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03CC\u03C2 \u03BA\u03B1\u03B9 \u03C6\u03B9\u03BB\u03CC\u03C3\u03BF\u03C6\u03BF\u03C2"@el ,
		"l\u00F3gico, matem\u00E1tico e fil\u00F3sofo austr\u00EDaco naturalizado norte-americano"@pt ,
		"\u0430\u0432\u0441\u0442\u0440\u0438\u0439\u0441\u043A\u0438 \u0438 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438 \u043B\u043E\u0433\u0438\u043A"@bg ,
		"avstrijsko-ameri\u0161ki logik, matematik in filozof matematike (1906\u20131978)"@sl ,
		"matem\u00E1tico austro-americano"@es ,
		"\u05DC\u05D5\u05D2\u05D9\u05E7\u05DF \u05D5\u05DE\u05EA\u05DE\u05D8\u05D9\u05E7\u05D0\u05D9 \u05D0\u05D5\u05E1\u05D8\u05E8\u05D9-\u05D0\u05DE\u05E8\u05D9\u05E7\u05D0\u05D9"@iw ,
		"Austrian-American logician, mathematician, and philosopher of mathematics (1906-1978)"@en ,
		"avstriyalik matematik va faylasuv"@uz ,
		"matem\u00E0tic l\u00F2gic austroestatunidenc"@ca .
@prefix ns14:	<https://dbpedia.org/resource/Template:> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	ns3:wikiPageUsesTemplate	ns14:ScienceWorldBiography ,
		ns14:Winners_of_the_National_Medal_of_Science ,
		ns14:Infobox_scientist ,
		ns14:Cite_book ,
		ns14:Redirect2 ,
		ns14:IPAc-en ,
		ns14:Use_mdy_dates ,
		ns14:ISBN ,
		ns14:Notelist ,
		ns14:Set_theory ,
		ns14:Isbn ,
		ns14:Death_date_and_age ,
		ns14:Birth_date ,
		ns14:Sfn ,
		ns14:Authority_control ,
		ns14:Short_description ,
		ns14:Reflist ,
		ns14:Analytic_philosophy ,
		ns14:Convert ,
		ns14:Platonists ,
		ns14:Portal ,
		ns14:Circa ,
		ns14:Wikiquote ,
		ns14:Blockquote ,
		ns14:Ubl ,
		ns14:Citation ,
		ns14:IPA ,
		ns14:Ill ,
		ns14:Infobox_philosopher ,
		ns14:Respell ,
		ns14:Efn ,
		ns14:Cite_SEP ,
		ns14:Commons_category ;
	ns1:deathPlace	<https://dbpedia.org/resource/Princeton,_New_Jersey> .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	ns1:deathDate	"1978-01-14"^^xsd:date ;
	ns1:birthPlace	ns2:Brno ;
	ns3:birthPlace	"Br\u00FCnn, Austria-Hungary"@en ;
	ns1:birthDate	"1906-04-28"^^xsd:date ;
	ns3:name	"Kurt G\u00F6del"@en ;
	ns3:birthDate	"1906-04-28"^^xsd:date ;
	ns3:deathDate	"1978-01-14"^^xsd:date ;
	ns3:doctoralAdvisor	<https://dbpedia.org/resource/Hans_Hahn_(mathematician)> ;
	ns3:knownFor	ns2:Diagonal_lemma ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_\u03B2_function> ,
		<https://dbpedia.org/resource/G\u00F6del_operation> ,
		"The consistency of the continuum hypothesis with ZFC"@en ,
		ns2:Compactness_theorem ,
		ns2:Condensation_lemma ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_speed-up_theorem> ,
		ns2:Axiom_of_constructibility ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_ontological_proof> ,
		<https://dbpedia.org/resource/G\u00F6del_logic> ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem> ,
		<https://dbpedia.org/resource/G\u00F6del_numbering> ,
		"G\u00F6del metric"@en ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_Loophole> ,
		ns2:Double-negation_translation ,
		ns2:Dialectica_interpretation ,
		<https://dbpedia.org/resource/\u03A9-consistent_theory> ,
		<https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory> ,
		""@en ,
		ns2:Ordinal_definable_set ,
		ns2:Constructible_universe ,
		ns2:Slingshot_argument ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorems> ,
		ns2:Modal_companion ;
	ns1:academicDiscipline	ns2:Mathematics ,
		ns2:Mathematical_logic ,
		ns2:Physics ;
	ns1:doctoralAdvisor	<https://dbpedia.org/resource/Hans_Hahn_(mathematician)> ;
	ns1:knownFor	<https://dbpedia.org/resource/G\u00F6del\u0027s_\u03B2_function> ,
		ns2:Diagonal_lemma ,
		<https://dbpedia.org/resource/G\u00F6del_operation> ,
		ns2:Condensation_lemma ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_speed-up_theorem> ,
		ns2:Compactness_theorem ,
		<https://dbpedia.org/resource/G\u00F6del_metric> ,
		ns2:Axiom_of_constructibility ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_ontological_proof> ,
		<https://dbpedia.org/resource/G\u00F6del_logic> ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem> ,
		<https://dbpedia.org/resource/G\u00F6del_numbering> ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_Loophole> ,
		ns2:Double-negation_translation ,
		<https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory> ,
		ns2:Dialectica_interpretation ,
		<https://dbpedia.org/resource/\u03A9-consistent_theory> ,
		ns2:Constructible_universe ,
		ns2:Ordinal_definable_set ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorems> ,
		ns2:Slingshot_argument ,
		ns2:Modal_companion ,
		ns2:Continuum_hypothesis ;
	ns3:urlname	"Goedel"@en ;
	ns3:spouse	"Adele Nimbursky"@en ,
		1938 ,
		""@en ;
	ns3:thesisTitle	"\u00DCber die Vollst\u00E4ndigkeit des Logikkalk\u00FCls"@en ;
	ns3:thesisYear	1929 ;
	ns1:deathCause	ns2:Starvation ;
	ns3:deathPlace	"Princeton, New Jersey, U.S."@en ;
	ns1:wikiPageExternalLink	<https://books.google.com/books%3Fid=tXk2AAAAQBAJ%7C> ,
		<http://calteches.library.caltech.edu/605/02/Todd.pdf> ,
		<http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html> ,
		<http://www.newyorker.com/archive/2005/02/28/050228crat_atlarge> .
@prefix ns16:	<http://www.bbaw.de/en/> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	ns1:wikiPageExternalLink	ns16:academy .
@prefix ns17:	<http://www.bbaw.de/en/research/> .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	ns1:wikiPageExternalLink	ns17:goedel ,
		<https://web.archive.org/web/20091106003330/http:/simplycharly.com/godel/gregory_chaitin_interview.htm> ,
		<https://books.google.com.au/books%3Fid=pckvCy6L_ocC&pg=PA8> ,
		<https://web.archive.org/web/20090301015757/http:/www.univie.ac.at/bvi/photo-gallery/photo_gallery.htm> ,
		<http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/gdel-kurt.pdf> ,
		<https://web.archive.org/web/20160304074030/http:/www.geocities.ws/kandathil/phil_view.html> ,
		<https://web.archive.org/web/20160304080342/http:/www.geocities.ws/kandathil/foundations_mathematics.html> ,
		<http://urn.fi/URN:ISBN:978-951-51-5923-6> ,
		<https://www.ams.org/notices/200707/tx070700861p.pdf> ,
		<https://www.ams.org/notices/200604/200604-toc.html> ,
		<https://books.google.com/books%3Fid=wLLePwhDOMYC> ,
		<http://www-history.mcs.st-andrews.ac.uk/Biographies/Godel.html> ,
		<http://www.abc.net.au/rn/scienceshow/stories/2006/1807626.htm> ,
		<http://journals.cambridge.org/action/displayAbstract%3FfromPage=online&aid=9079526&fileId=S0022481200026633> ,
		<https://books.google.com/books%3Fid=pckvCy6L_ocC> ;
	ns3:signature	"Kurt G\u00F6del signature.svg"@en ;
	ns3:title	"G\u00F6del, Kurt"@en ;
	ns1:birthName	"Kurt Friedrich G\u00F6del"@en ;
	ns1:award	ns2:Fellow_of_the_Royal_Society ,
		ns2:National_Medal_of_Science ,
		ns2:Albert_Einstein_Award ;
	ns3:birthName	"Kurt Friedrich G\u00F6del"@en ;
	ns3:workInstitutions	ns2:Institute_for_Advanced_Study ;
	ns3:field	ns2:Physics ,
		ns2:Mathematics ,
		ns2:Mathematical_logic ;
	ns3:prizes	"Albert Einstein Award"@en ,
		"National Medal of Science"@en ,
		""@en ,
		"ForMemRS"@en ;
	ns3:education	"University of Vienna"@en ;
	ns3:caption	"G\u00F6del  1926"@en ;
	ns3:deathCause	ns2:Starvation ;
	ns1:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_g\u00F6del.jpg?width=300> .
<https://dbpedia.org/resource/Index_of_philosophy_articles_(I\u2013Q)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ultrafilter	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_important_publications_in_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_category_theory_and_related_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1906>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Moritz_Schlick	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Time_travel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_pioneers_in_computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_computer_scientists	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_unusual_deaths	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Felix_Hausdorff	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hans_Hahn_(mathematician)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns3:doctoralStudents	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:doctoralStudent	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ontological_argument	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Religious_philosophy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Gerhard_Gentzen	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Jacques_Herbrand	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Valeria_de_Paiva	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Continuum_hypothesis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Axiom_of_global_choice	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_mathematical_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Semantic_theory_of_truth	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Archives_of_American_Mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Weaver_(Baxter_novel)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_German-language_philosophers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Georg_Cantor	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Apostolos_Doxiadis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Formalism_(philosophy_of_mathematics)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Foundations_of_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Rudolf_Carnap	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Alfred_North_Whitehead	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Philosophy_of_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Descriptivist_theory_of_names	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Principia_Mathematica	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Russell\u0027s_paradox>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Jean_van_Heijenoort	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Finitism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:George_Boolos	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Charles_Parsons_(philosopher)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Logicism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Second-order_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:First-order_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/History_of_the_Church\u2013Turing_thesis>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Peano_axioms	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Michael_Detlefsen	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Axiom	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Axiom_of_reducibility	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Metamathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Quantifier_(logic)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Logical_positivism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Vienna_Circle	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorems>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hilbert\u0027s_problems>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Slingshot_argument	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Brouwer\u2013Hilbert_controversy>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Jes\u00FAs_Moster\u00EDn>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Quine\u2013Putnam_indispensability_argument>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_set_theory_topics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_type_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Logicomix	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Lw\u00F3w\u2013Warsaw_school>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Fuzzy_concept	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Bertrand_Russell\u0027s_philosophical_views>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Self-reference	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Self-refuting_idea	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurt_Grelling	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Universe_(mathematics)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Higher-order_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Georg_Kreisel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Halting_problem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Second_Conference_on_the_Epistemology_of_the_Exact_Sciences	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Logic_in_computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Jules_Richard_(mathematician)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Warren_Goldfarb	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Legacy_of_Alan_Turing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Cahiers_pour_l\u0027Analyse>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Burton_Feldman	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Logical_intuition	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hannah_Smith_(philanthropist)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Diagonal_lemma	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_fellows_of_the_Royal_Society_elected_in_1968	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Original_proof_of_G\u00F6del\u0027s_completeness_theorem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Austria_under_Nazism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Reincarnation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Translation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Bibliography_of_E._T._Whittaker>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Austrian_Americans	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ware_Tetralogy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Temple_University_Beasley_School_of_Law	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/I.Q._(film)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Frank_Aydelotte	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Albert_Einstein_in_popular_culture	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del\u0027s_Loophole>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1933_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Abraham_Flexner	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/John_W._Dawson_Jr.>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_faculty_members_at_the_Institute_for_Advanced_Study	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Julia_Robinson	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Paul_Cohen	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Paul_Arthur_Schilpp	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Frank_Ramsey_(mathematician)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del\u0027s_ontological_proof>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Axiom_of_choice	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Marian_Pour-El	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_(programming_language)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Phillip_Forman	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Solutions_of_the_Einstein_field_equations	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Institute_for_Advanced_Study	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/List_of_people_by_Erd\u0151s_number>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Mathematical_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Alan_Turing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Walter_Benjamin	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_philosophers_born_in_the_20th_century	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Index_of_contemporary_philosophy_articles	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_Western_philosophers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/BLIT_(short_story)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:David_Hilbert	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Asimov\u0027s_Biographical_Encyclopedia_of_Science_and_Technology>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/John_Boyd_(military_strategist)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_artificial_intelligence	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Princeton_Cemetery	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Infinite-valued_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Notre_Dame_College_of_Science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Olga_Taussky-Todd	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Many-valued_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Martin_Gardner	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del,_Escher,_Bach>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1931_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1978_in_the_United_States>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Czechs	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/R\u00F3zsa_P\u00E9ter>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Josiah_Willard_Gibbs_Lectureship	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1906_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Aleph_number	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Wilhelm_Wirtinger	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns3:doctoralStudents	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:doctoralStudent	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_statements_independent_of_ZFC	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ramsey_cardinal	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Constructible_universe	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Monatshefte_f\u00FCr_Mathematik>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Richard\u0027s_paradox>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Frank_Leymann	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Erd\u0151s_cardinal>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Oron_Shagrir	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hilbert\u0027s_second_problem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Finite-valued_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Theoretical_computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Turing_machine	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Brno	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_multiple_discoveries	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Claude_Shannon	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1929_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_eponymous_adjectives_in_English	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/List_of_eponyms_(A\u2013K)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ontology	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Deaths_of_philosophers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Lady_Tasting_Tea	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_computing_hardware_before_1950	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:God_Created_the_Integers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Significant_Figures_(book)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Temporal_paradox	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_metric>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Closed_timelike_curve	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_first-order_theories	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Kurt_Vogel_(historian)>	owl:differentFrom	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/William_Boone_(mathematician)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:A_Mind_at_Play	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_long_mathematical_proofs	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Morass_(set_theory)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Jensen_hierarchy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Condensation_lemma	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurepa_tree	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Albert_Einstein	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Princeton,_New_Jersey>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_important_publications_in_philosophy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_contributors_to_general_relativity	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:John_von_Neumann	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_people_from_Moravia	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Moravia	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_agnostics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_Austrian_scientists	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Leon_Henkin	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_Christians_in_science_and_technology	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Princeton_Historic_District_(Princeton,_New_Jersey)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_German_inventors_and_discoverers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:University_of_Vienna	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Edmund_Husserl	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/List_of_philosophers_(D\u2013H)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1978>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Truth	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Cipher_Department_of_the_High_Command_of_the_Wehrmacht	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Model_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Josefstadt	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Strange_loop	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Quasi-empiricism_in_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Lawrence_Paulson	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Juliette_Kennedy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:academicDiscipline	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns3:field	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Provability_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Platonism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Bertrand_Russell	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Liar_paradox	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1970_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_cryptographers	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1978_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Four_color_theorem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_people_from_Brno	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/List_of_Czech_Republic\u2013related_topics>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_Czechs	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Joseph_F._Traub>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Fallibilism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Computability_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Intuitionistic_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Curry\u2013Howard_correspondence>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hilbert\u0027s_program>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Algorithm	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Intuitionism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_incomplete_proofs	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_mathematical_notation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_mathematics	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_corresponding_fellows_of_the_British_Academy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Gottfried_Wilhelm_Leibniz	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Philosophical_theism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeline_of_scientific_discoveries	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Theory_of_Colours	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Antiquarian_science_books	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/D\u00F6bling>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Princeton_Township,_New_Jersey>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/John_Lucas_(philosopher)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns3:influences	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:influencedBy	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/1978_in_philosophy>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Metaphysical_Foundations_of_Natural_Science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:David_Corfield	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Kurt_G\u00F6del_Society>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Carl_Posy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:World_Logic_Day	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Disjunction_and_existence_properties	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Penelope_Maddy	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Indicator_function	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Metempsychosis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Timeless_universe	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Turing_completeness	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:P_versus_NP_problem	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Albert_W._Tucker>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Georg_N\u00F6beling>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Anil_Nerode	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Raphael_M._Robinson>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Emil_Leon_Post	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Hilbert\u0027s_tenth_problem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Cardinal_number	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Church\u2013Turing_thesis>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Sergey_Yablonsky	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Gisbert_Hasenjaeger	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Wolfgang_Stegm\u00FCller>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Metatheory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Time_Ships	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Intermediate_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Gottlob_Frege	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Michael_Dummett	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_logicians	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Andrzej_Grzegorczyk	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Reductionism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Automated_theorem_proving	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Uncle_Petros_and_Goldbach\u0027s_Conjecture>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Conjecture	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Proof_of_impossibility	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Infinities	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_numbering>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ricardo_Baeza-Yates	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Core_model	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Equivalents_of_the_Axiom_of_Choice	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Yannick_Grannec	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Plato	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_philosophy_anniversaries	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Association_for_Symbolic_Logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Juris_Hartmanis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Anselm_of_Canterbury	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:History_of_computing_hardware	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Philosophy_of_artificial_intelligence	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Philosophical_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Vacuum_Diagrams	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Freiling\u0027s_axiom_of_symmetry>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:A_Madman_Dreams_of_Turing_Machines	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Tarski\u0027s_undefinability_theorem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del\u0027s_theorem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/K._Godel>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/K._Goedel>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/K._G\u00F6del>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del,_K>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del,_K.>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Kurt_Friedrich_G\u00F6del>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurt_Godel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurt_Goedel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurt_godel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kurt_goedel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Kurt_g\u00F6del>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Godel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Godel,_K>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Godel,_K.>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Goedel	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Goedel,_K>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Goedel,_K.>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Religious_views_of_Kurt_G\u00F6del>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Concept	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_Austrians	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:List_of_suicides	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Difference_Engine	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Raymond_Smullyan	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_G,_H,_I>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Paul_Bernays	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Weimar_culture	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/List_of_University_of_G\u00F6ttingen_people>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/20th_century_in_science>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Inductivism	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Lou_Jacobi	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Cognitive_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:The_Age_of_Intelligent_Machines	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Infinity_and_the_Mind	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Vienna_Summer_of_Logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Heyting_arithmetic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Systems_of_Logic_Based_on_Ordinals	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Inner_model_theory	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Kahler-Kreis	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Double-negation_translation	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Primitive_recursive_functional	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Martin_K._Solomon>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Ramified_forcing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
ns2:Equiconsistency	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del_logic>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/G\u00F6del\u0027s_speed-up_theorem>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .
<https://dbpedia.org/resource/Godel_(disambiguation)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Kurt_G\u00F6del> .