{"id":"https://openalex.org/W3176778158","doi":"https://doi.org/10.1109/lics52264.2021.9470703","title":"Fusible numbers and Peano Arithmetic","display_name":"Fusible numbers and Peano Arithmetic","publication_year":2021,"publication_date":"2021-06-29","ids":{"openalex":"https://openalex.org/W3176778158","doi":"https://doi.org/10.1109/lics52264.2021.9470703","mag":"3176778158"},"language":"en","primary_location":{"id":"doi:10.1109/lics52264.2021.9470703","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics52264.2021.9470703","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5042187195","display_name":"Jeff Erickson","orcid":"https://orcid.org/0000-0002-5253-2282"},"institutions":[{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeff Erickson","raw_affiliation_strings":["University of Illinois"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois","institution_ids":["https://openalex.org/I2801919071"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084969549","display_name":"Gabriel Nivasch","orcid":"https://orcid.org/0000-0001-5960-4253"},"institutions":[{"id":"https://openalex.org/I52170813","display_name":"Ariel University","ror":"https://ror.org/03nz8qe97","country_code":"IL","type":"education","lineage":["https://openalex.org/I52170813"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Gabriel Nivasch","raw_affiliation_strings":["Ariel University, Ariel, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ariel University, Ariel, Israel","institution_ids":["https://openalex.org/I52170813"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043282426","display_name":"Junyan Xu","orcid":"https://orcid.org/0000-0002-3789-2319"},"institutions":[{"id":"https://openalex.org/I4210149717","display_name":"Center for Cancer Research","ror":"https://ror.org/05bjen692","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I4210140884","https://openalex.org/I4210149717"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Junyan Xu","raw_affiliation_strings":["Cancer Data Science Laboratory, CCR, NCI, NIH"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cancer Data Science Laboratory, CCR, NCI, NIH","institution_ids":["https://openalex.org/I4210149717"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fusible-alloy","display_name":"Fusible alloy","score":0.9474582672119141},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.7390483021736145},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5731479525566101},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5424183011054993},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5130480527877808},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4614409804344177},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4506422281265259},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37136614322662354}],"concepts":[{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.9474582672119141},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.7390483021736145},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5731479525566101},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5424183011054993},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5130480527877808},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4614409804344177},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4506422281265259},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37136614322662354},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C191897082","wikidata":"https://www.wikidata.org/wiki/Q11467","display_name":"Metallurgy","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics52264.2021.9470703","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics52264.2021.9470703","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W6616102","https://openalex.org/W78146983","https://openalex.org/W1518391185","https://openalex.org/W1573775807","https://openalex.org/W1579247651","https://openalex.org/W1583325710","https://openalex.org/W1593067057","https://openalex.org/W1597834884","https://openalex.org/W1674402922","https://openalex.org/W1994073383","https://openalex.org/W2036673058","https://openalex.org/W2063421309","https://openalex.org/W2081739832","https://openalex.org/W2085335923","https://openalex.org/W2135756492","https://openalex.org/W2560908651","https://openalex.org/W3021845913","https://openalex.org/W3022666322","https://openalex.org/W4214546155","https://openalex.org/W4229690001","https://openalex.org/W4233741736","https://openalex.org/W4245863089","https://openalex.org/W4300655138","https://openalex.org/W6634285169","https://openalex.org/W6685292077"],"related_works":["https://openalex.org/W2376059029","https://openalex.org/W3144731838","https://openalex.org/W2389761344","https://openalex.org/W171744056","https://openalex.org/W2347254500","https://openalex.org/W1577881803","https://openalex.org/W2115117868","https://openalex.org/W3136886172","https://openalex.org/W2410226958","https://openalex.org/W3014442177"],"abstract_inverted_index":{"Inspired":[0],"by":[1],"a":[2,57,78],"mathematical":[3],"riddle":[4],"involving":[5],"fuses,":[6],"we":[7,41],"define":[8],"the":[9,38,68,87,113],"fusible":[10,22,80],"numbers":[11],"as":[12],"follows:":[13],"0":[14,93],"is":[15],"fusible,":[16],"and":[17],"whenever":[18],"x,":[19],"y":[20],"are":[21],"with":[23],"|y":[24],"-":[25,29,99,101],"x|-":[26],"1\u2265":[27],"F\u03b50(n":[28],"c)":[30],"for":[31],"some":[32,43],"constant":[33],"c,":[34],"where":[35],"F\u03b1":[36],"denotes":[37],"fast-growing":[39],"hierarchy.Finally,":[40],"derive":[42],"true":[44,69],"statements":[45],"that":[46],"can":[47],"be":[48],"formulated":[49],"but":[50],"not":[51],"proven":[52],"in":[53],"Peano":[54],"Arithmetic,":[55],"of":[56],"different":[58],"flavor":[59],"than":[60,83],"previously":[61],"known":[62],"such":[63],"statements:":[64],"PA":[65,110],"cannot":[66,111],"prove":[67,112],"statement":[70,114],"\"For":[71],"every":[72],"natural":[73,119],"number":[74,81],"n":[75],"there":[76],"exists":[77],"smallest":[79],"larger":[82],"n.\"":[84],"Also,":[85],"consider":[86],"algorithm":[88],"\"M(x):":[89],"if":[90],"x":[91],"<;":[92],"return":[94,97],"-x,":[95],"else":[96],"M(x":[98,100],"1))/2.\"":[102],"Then":[103],"M":[104],"terminates":[105,116],"on":[106,117],"real":[107],"inputs,":[108],"although":[109],"\"M":[115],"all":[118],"inputs.\"":[120]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}