{"id":"https://openalex.org/W4313433593","doi":"https://doi.org/10.1007/978-3-031-16415-6_33","title":"G\u00f6del\u2019s Proof of\u00a0Existence of\u00a0God Revisited","display_name":"G\u00f6del\u2019s Proof of\u00a0Existence of\u00a0God Revisited","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4313433593","doi":"https://doi.org/10.1007/978-3-031-16415-6_33"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-16415-6_33","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-16415-6_33","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 Teacher Education, University of Texas at El Paso, 500 W. University El Paso, Austin, TX, 79968, USA","Department of Teacher Education, University of Texas at El Paso, 500\u00a0W. University El Paso, Austin, TX, 79968, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Teacher Education, University of Texas at El Paso, 500 W. University El Paso, Austin, TX, 79968, USA","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"Department of Teacher Education, University of Texas at El Paso, 500\u00a0W. University El Paso, Austin, 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\u00a0W. University El Paso, Austin, TX, 79968, USA","Department of Computer Science, University of Texas at El Paso, El Paso, TX, USA","Department of Teacher Education, University of Texas at El Paso, 500 W. University El Paso, Austin, TX, 79968, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at El Paso, 500\u00a0W. University El Paso, Austin, 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"]},{"raw_affiliation_string":"Department of Teacher Education, University of Texas at El Paso, 500 W. University El Paso, Austin, TX, 79968, 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.00503663,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"221"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13144","display_name":"Theology and Philosophy of Evil","score":0.9876000285148621,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9800000190734863,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.6658087372779846},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5964156985282898},{"id":"https://openalex.org/keywords/existence-of-god","display_name":"Existence of God","score":0.43700844049453735},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.4101627469062805},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.28461000323295593},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27590277791023254},{"id":"https://openalex.org/keywords/theism","display_name":"Theism","score":0.056635141372680664}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.6658087372779846},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5964156985282898},{"id":"https://openalex.org/C2776971825","wikidata":"https://www.wikidata.org/wiki/Q1699404","display_name":"Existence of God","level":3,"score":0.43700844049453735},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.4101627469062805},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.28461000323295593},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27590277791023254},{"id":"https://openalex.org/C200610012","wikidata":"https://www.wikidata.org/wiki/Q620805","display_name":"Theism","level":2,"score":0.056635141372680664},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-16415-6_33","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-16415-6_33","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"},{"id":"pmh:oai:scholarworks.utep.edu:cs_techrep-2569","is_oa":false,"landing_page_url":"https://scholarworks.utep.edu/cs_techrep/1582","pdf_url":null,"source":{"id":"https://openalex.org/S4377196403","display_name":"scholarworks - UTEP (The University of Texas at El Paso)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I164936912","host_organization_name":"The University of Texas at El Paso","host_organization_lineage":["https://openalex.org/I164936912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Technical Reports (CS)","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1661653767","https://openalex.org/W1967975018","https://openalex.org/W2010588603","https://openalex.org/W4229560290"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2912137438","https://openalex.org/W2803307177","https://openalex.org/W1494974852","https://openalex.org/W1030430500","https://openalex.org/W2346533055","https://openalex.org/W3214635344","https://openalex.org/W2112161871","https://openalex.org/W3046679603","https://openalex.org/W2531885335"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}