{"id":"https://openalex.org/W2111132259","doi":"https://doi.org/10.2178/bsl/1046288723","title":"G\u00f6del, Tarski, Church, and The Liar","display_name":"G\u00f6del, Tarski, Church, and The Liar","publication_year":2003,"publication_date":"2003-03-01","ids":{"openalex":"https://openalex.org/W2111132259","doi":"https://doi.org/10.2178/bsl/1046288723","mag":"2111132259"},"language":"en","primary_location":{"id":"doi:10.2178/bsl/1046288723","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl/1046288723","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004256831","display_name":"Gy\u00f6rgy Ser\u00e9ny","orcid":null},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Gy\u00f6rgy Ser\u00e9ny","raw_affiliation_strings":["Department of Algebra, Budapest University of Technologyand Economics, 1111 Stoczek U.2. H\u00e9p.5. EM., Budapest, HungaryE-mail:","Department of Algebra, Budapest University of Technologyand Economics, 1111 Stoczek U.2. H\u00e9p.5. EM., Budapest, Hungary -mail: sereny@math.bme.hu"],"affiliations":[{"raw_affiliation_string":"Department of Algebra, Budapest University of Technologyand Economics, 1111 Stoczek U.2. H\u00e9p.5. EM., Budapest, HungaryE-mail:","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Algebra, Budapest University of Technologyand Economics, 1111 Stoczek U.2. H\u00e9p.5. EM., Budapest, Hungary -mail: sereny@math.bme.hu","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5004256831"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":null,"apc_paid":null,"fwci":0.468,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.75282179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":"3","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/antinomy","display_name":"Antinomy","score":0.8464210629463196},{"id":"https://openalex.org/keywords/analogy","display_name":"Analogy","score":0.695697546005249},{"id":"https://openalex.org/keywords/g\u00f6dels-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.6913840174674988},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5729486346244812},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5608070492744446},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.5563369393348694},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.5503765344619751},{"id":"https://openalex.org/keywords/semantic-theory-of-truth","display_name":"Semantic theory of truth","score":0.5501958131790161},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5064526796340942},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.49172309041023254},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.42870235443115234},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3212301731109619},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27783870697021484},{"id":"https://openalex.org/keywords/g\u00f6del","display_name":"G\u00f6del","score":0.24747183918952942}],"concepts":[{"id":"https://openalex.org/C2781413104","wikidata":"https://www.wikidata.org/wiki/Q262759","display_name":"Antinomy","level":2,"score":0.8464210629463196},{"id":"https://openalex.org/C521332185","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogy","level":2,"score":0.695697546005249},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.6913840174674988},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5729486346244812},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5608070492744446},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5563369393348694},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.5503765344619751},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.5501958131790161},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5064526796340942},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.49172309041023254},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.42870235443115234},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3212301731109619},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27783870697021484},{"id":"https://openalex.org/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.24747183918952942},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2178/bsl/1046288723","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl/1046288723","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.bsl/1046288723","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.bsl/1046288723","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.234.8845","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.234.8845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/math/9903005v1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W2556546","https://openalex.org/W348740728","https://openalex.org/W359462364","https://openalex.org/W560364776","https://openalex.org/W623933097","https://openalex.org/W1008748165","https://openalex.org/W1485287696","https://openalex.org/W1540715591","https://openalex.org/W1591140244","https://openalex.org/W1602067282","https://openalex.org/W1975548675","https://openalex.org/W1984820433","https://openalex.org/W1990401544","https://openalex.org/W2009841248","https://openalex.org/W2013665786","https://openalex.org/W2016620481","https://openalex.org/W2035476945","https://openalex.org/W2047868398","https://openalex.org/W2105505307","https://openalex.org/W2107126982","https://openalex.org/W2137317612","https://openalex.org/W2500044873","https://openalex.org/W2743117888","https://openalex.org/W2797260983","https://openalex.org/W2799061192","https://openalex.org/W2977904728","https://openalex.org/W3106576400","https://openalex.org/W3183889129","https://openalex.org/W4206828130","https://openalex.org/W4242508548","https://openalex.org/W4247625053","https://openalex.org/W4300616299","https://openalex.org/W4301024087"],"related_works":["https://openalex.org/W1002442348","https://openalex.org/W2997021176","https://openalex.org/W2017504962","https://openalex.org/W208192495","https://openalex.org/W2524790995","https://openalex.org/W2783041435","https://openalex.org/W2949476074","https://openalex.org/W1536387743","https://openalex.org/W2111132259","https://openalex.org/W2279219974"],"abstract_inverted_index":{"The":[0,70],"fact":[1,111],"that":[2,14,112,126,138,197,243],"G\u00f6del's":[3,230],"famous":[4],"incompleteness":[5,231],"theorem":[6,51,234],"and":[7,75,226,242],"the":[8,16,33,37,50,62,80,89,107,110,113,123,165,169,188,203,224,233,238,247],"archetype":[9],"of":[10,15,22,32,36,39,49,109,115,143,176,202,222,235,240,244,249],"all":[11,122],"logical":[12],"paradoxes,":[13],"Liar,":[17],"are":[18,95],"related":[19],"closely":[20],"is,":[21,148],"course,":[23],"not":[24],"only":[25],"well":[26],"known,":[27],"but":[28],"is":[29,83,118,121,140,217],"a":[30,53,85,99,150,218],"part":[31],"common":[34,220],"knowledge":[35],"community":[38],"logicians.":[40],"Indeed,":[41,157],"almost":[42,208],"every":[43],"more":[44,124,152],"or":[45,145],"less":[46],"formal":[47,177,200],"treatment":[48],"makes":[52],"reference":[54],"to":[55,79,153,162,186],"this":[56,73,116],"connection.":[57],"G\u00f6del":[58],"himself":[59],"remarked":[60],"in":[61],"paper":[63],"announcing":[64],"his":[65],"celebrated":[66],"result":[67,74],"(cf.":[68],"[7]):":[69],"analogy":[71],"between":[72],"Richard's":[76],"antinomy":[77],"leaps":[78],"eye;":[81],"there":[82],"also":[84],"close":[86],"relationship":[87],"with":[88,98],"\u2018liar\u2019":[90],"antinomy,":[91],"since":[92],"\u2026":[93,96],"we":[94,159],"confronted":[97],"proposition":[100],"which":[101,206],"asserts":[102],"its":[103,133,212],"own":[104],"unprovability.":[105],"In":[106],"light":[108],"existence":[114],"connection":[117],"commonplace":[119],"it":[120,139,154,193],"surprising":[125],"very":[127],"little":[128],"can":[129,180,207],"be":[130,181],"learnt":[131],"about":[132],"exact":[134],"nature":[135],"except":[136],"perhaps":[137],"some":[141],"kind":[142],"similarity":[144],"analogy.":[146],"There":[147],"however,":[149],"lot":[151],"than":[155],"that.":[156],"as":[158,183],"shall":[160],"try":[161],"show":[163],"below,":[164],"general":[166],"ideas":[167],"underlying":[168],"three":[170],"central":[171],"theorems":[172],"concerning":[173,246],"internal":[174],"limitations":[175],"deductive":[178],"systems":[179],"taken":[182],"different":[184],"ways":[185],"resolve":[187],"Liar":[189,204],"paradox.":[190],"More":[191],"precisely,":[192],"will":[194],"turn":[195],"out":[196],"an":[198],"abstract":[199],"variant":[201],"paradox,":[205],"straightforwardly":[209],"inferred":[210],"from":[211],"original":[213],"ordinary":[214],"language":[215],"version,":[216],"possible":[219],"generalization":[221],"(both":[223],"syntactic":[225],"semantic":[227],"versions":[228],"of)":[229],"theorem,":[232],"Tarski":[236],"on":[237],"undefinability":[239],"truth,":[241],"Church":[245],"undecidability":[248],"provability.":[250]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}