{"id":"https://openalex.org/W4386826883","doi":"https://doi.org/10.1007/978-3-031-36394-8_34","title":"Really Good Theorems Are Those That End Their Life as Definitions: Why","display_name":"Really Good Theorems Are Those That End Their Life as Definitions: Why","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386826883","doi":"https://doi.org/10.1007/978-3-031-36394-8_34"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-36394-8_34","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-36394-8_34","pdf_url":null,"source":{"id":"https://openalex.org/S4210187899","display_name":"Studies in systems, decision and control","issn_l":"2198-4182","issn":["2198-4182","2198-4190"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Systems, Decision and Control","raw_type":"book-chapter"},"type":"book-chapter","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/A5075920182","display_name":"Olga Kosheleva","orcid":"https://orcid.org/0000-0003-2587-4209"},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Olga Kosheleva","raw_affiliation_strings":["Department of Computer Science, University of Texas at El Paso, 500 W. University, El Paso, TX, 79968, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at El Paso, 500 W. University, El Paso, TX, 79968, USA","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061275811","display_name":"\u0412\u043b\u0430\u0434\u0438\u043a \u041a\u0440\u0435\u0439\u043d\u043e\u0432\u0438\u0447","orcid":"https://orcid.org/0000-0002-1244-1650"},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vladik Kreinovich","raw_affiliation_strings":["Department of Computer Science, University of Texas at El Paso, 500 W. University, El Paso, TX, 79968, USA","Department of Computer Science, University of Texas at El Paso, El Paso, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at El Paso, 500 W. University, El Paso, TX, 79968, USA","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"Department of Computer Science, University of Texas at El Paso, El Paso, TX, USA","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5061275811"],"corresponding_institution_ids":["https://openalex.org/I164936912"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45830272,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"205","last_page":"208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7425000071525574,"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.7425000071525574,"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/statement","display_name":"Statement (logic)","score":0.8752862215042114},{"id":"https://openalex.org/keywords/phenomenon","display_name":"Phenomenon","score":0.6499208807945251},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.4551721215248108},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4268854260444641},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4123566150665283},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3986903727054596},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36940282583236694},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.35939928889274597},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1813683807849884},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.17095234990119934},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.075289785861969}],"concepts":[{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.8752862215042114},{"id":"https://openalex.org/C50335755","wikidata":"https://www.wikidata.org/wiki/Q483247","display_name":"Phenomenon","level":2,"score":0.6499208807945251},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.4551721215248108},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4268854260444641},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4123566150665283},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3986903727054596},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36940282583236694},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.35939928889274597},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1813683807849884},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.17095234990119934},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.075289785861969},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-36394-8_34","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-36394-8_34","pdf_url":null,"source":{"id":"https://openalex.org/S4210187899","display_name":"Studies in systems, decision and control","issn_l":"2198-4182","issn":["2198-4182","2198-4190"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies in Systems, Decision and Control","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2467824835","https://openalex.org/W1493324536","https://openalex.org/W2359136104","https://openalex.org/W2364500005","https://openalex.org/W4319937629","https://openalex.org/W2906918433","https://openalex.org/W2074674781","https://openalex.org/W2061978283","https://openalex.org/W3152011044","https://openalex.org/W69402677"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}