{"id":"https://openalex.org/W85599409","doi":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","title":"Razonamientos no rigurosos y demostraciones asistidas por ordenador","display_name":"Razonamientos no rigurosos y demostraciones asistidas por ordenador","publication_year":2007,"publication_date":"2007-02-27","ids":{"openalex":"https://openalex.org/W85599409","doi":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","mag":"85599409"},"language":"es","primary_location":{"id":"doi:10.24310/contrastescontrastes.v12i0.1432","doi":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","is_oa":true,"landing_page_url":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","pdf_url":null,"source":{"id":"https://openalex.org/S4210219349","display_name":"Contrastes Revista Internacional de Filosof\u00eda","issn_l":"1136-4076","issn":["1136-4076","2659-921X"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["ddh","erih-plus","fecyt-seal","jufo-1","latindex","norway-1","poland-20","russia-white-list-4"],"host_organization":"https://openalex.org/P4310321361","host_organization_name":"University of M\u00e1laga","host_organization_lineage":["https://openalex.org/P4310321361"],"host_organization_lineage_names":["University of M\u00e1laga"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Contrastes. Revista Internacional de Filosof\u00eda","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018492166","display_name":"Jes\u00fas Alcolea Banegas","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I16097986","display_name":"Universitat de Val\u00e8ncia","ror":"https://ror.org/043nxc105","country_code":"ES","type":"education","lineage":["https://openalex.org/I16097986"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Jes\u00fas Alcolea Banegas","raw_affiliation_strings":["Universidad de Valencia","Universitat de Val\u00e8ncia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de Valencia","institution_ids":["https://openalex.org/I16097986"]},{"raw_affiliation_string":"Universitat de Val\u00e8ncia","institution_ids":["https://openalex.org/I16097986"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5018492166"],"corresponding_institution_ids":["https://openalex.org/I16097986"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.03152961,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9789999723434448,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9789999723434448,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/T10778","display_name":"Philosophy and History of Science","score":0.007300000172108412,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"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/T13558","display_name":"Philosophy, Science, and History","score":0.0027000000700354576,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quasi-empiricism","display_name":"quasi-empiricism","score":0.9419999718666077},{"id":"https://openalex.org/keywords/experimental-mathematics","display_name":"experimental mathematics","score":0.9440000057220459},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.9129999876022339},{"id":"https://openalex.org/keywords/four-color-theorem","display_name":"four-color theorem","score":0.8220000267028809},{"id":"https://openalex.org/keywords/philosophy-of-mathematics","display_name":"philosophy of mathematics","score":0.9890000224113464}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5954654216766357},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5308865904808044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47309401631355286},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.28336310386657715},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.04198324680328369}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.24310/contrastescontrastes.v12i0.1432","doi":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","is_oa":true,"landing_page_url":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","pdf_url":null,"source":{"id":"https://openalex.org/S4210219349","display_name":"Contrastes Revista Internacional de Filosof\u00eda","issn_l":"1136-4076","issn":["1136-4076","2659-921X"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["ddh","erih-plus","fecyt-seal","jufo-1","latindex","norway-1","poland-20","russia-white-list-4"],"host_organization":"https://openalex.org/P4310321361","host_organization_name":"University of M\u00e1laga","host_organization_lineage":["https://openalex.org/P4310321361"],"host_organization_lineage_names":["University of M\u00e1laga"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Contrastes. Revista Internacional de Filosof\u00eda","raw_type":"journal-article"},{"id":"pmh:oai:dialnet.unirioja.es:ART0000354552","doi":null,"is_oa":false,"landing_page_url":"https://dialnet.unirioja.es/servlet/oaiart?codigo=2543437","pdf_url":null,"source":{"id":"https://openalex.org/S4306401293","display_name":"Dialnet (Universidad de la Rioja)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I3032752892","host_organization_name":"Universidad Internacional de La Rioja","host_organization_lineage":["https://openalex.org/I3032752892"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Contrastes: revista internacional de filosof\u00eda, ISSN 1136-4076, N\u00ba 12, 2007, pags. 27-50","raw_type":"text (article)"},{"id":"pmh:oai:roderic.uv.es:10550/29907","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10550/29907","pdf_url":null,"source":{"id":"https://openalex.org/S4306400245","display_name":"Repository of Digital Objects for Teaching Research and Culture (University of Valencia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I16097986","host_organization_name":"Universitat de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I16097986"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.24310/contrastescontrastes.v12i0.1432","doi":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","is_oa":true,"landing_page_url":"https://doi.org/10.24310/contrastescontrastes.v12i0.1432","pdf_url":null,"source":{"id":"https://openalex.org/S4210219349","display_name":"Contrastes Revista Internacional de Filosof\u00eda","issn_l":"1136-4076","issn":["1136-4076","2659-921X"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["ddh","erih-plus","fecyt-seal","jufo-1","latindex","norway-1","poland-20","russia-white-list-4"],"host_organization":"https://openalex.org/P4310321361","host_organization_name":"University of M\u00e1laga","host_organization_lineage":["https://openalex.org/P4310321361"],"host_organization_lineage_names":["University of M\u00e1laga"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Contrastes. Revista Internacional de Filosof\u00eda","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W77706879","https://openalex.org/W650563036","https://openalex.org/W2020907467","https://openalex.org/W2053183040","https://openalex.org/W2506848770","https://openalex.org/W3083044158"],"related_works":["https://openalex.org/W2143578351","https://openalex.org/W2025910816","https://openalex.org/W2333819912","https://openalex.org/W2321824256","https://openalex.org/W1995284689","https://openalex.org/W1987272770","https://openalex.org/W2947186315","https://openalex.org/W2029553608","https://openalex.org/W2019334017","https://openalex.org/W4242957261"],"abstract_inverted_index":{"RESUMENPresentamos":[0],"la":[1,7,10,27],"contribuci\u00f3n":[2],"de":[3,9,35],"Th.":[4,55],"Tymoczko":[5],"a":[6],"filosof\u00eda":[8],"matem\u00e1tica":[11,28],"y":[12,14,21],"analizamos":[13],"evaluamos":[15],"las":[16],"demostraciones":[17],"asistidas":[18],"por":[19],"ordenador":[20],"los":[22,36],"razonamientos":[23],"no":[24],"rigurosos":[25],"en":[26],"experimental,":[29],"con":[30],"particular":[31],"referencia":[32],"al":[33],"Teorema":[34],"Cuatro":[37],"Colores.PALABRAS":[38],"CLAVETYMOCZKO":[39],"\u2013":[40,42,45,49,86,88,91,94],"CUASI-EMPIRISMO":[41],"MATEM\u00c1TICA":[43],"EXPERIMENTAL":[44,89],"RAZONAMIENTO":[46],"NO":[47],"RIGUROSO":[48],"DEMOSTRACIONES":[50],"ASISTIDAS":[51],"POR":[52],"ORDENADORABSTRACTWe":[53],"present":[54],"Tymoczko\u2019s":[56],"contribution":[57],"to":[58,82],"the":[59,68,72,76,83],"philosophy":[60],"of":[61],"mathematics,":[62,78],"and":[63,66,71],"we":[64],"analyze":[65],"evaluate":[67],"computer-assisted":[69],"proofs":[70],"non-rigorous":[73],"reasonings":[74],"in":[75,80],"experimental":[77],"particularly":[79],"reference":[81],"Four-Colour":[84],"Theorem.KEYWORDTYMOCZKO":[85],"QUASI-EMPIRICISM":[87],"MATHEMATICS":[90],"NON-RIGOROUS":[92],"REASONING":[93],"COMPUTER-ASSISTED":[95],"PROOF":[96]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-10-24T09:50:30.924529","created_date":"2025-10-10T00:00:00"}