{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2025-02-05T20:01:53.570718+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "default_preview": "1\u2205\u2205\u2205 SCod Teorema de Jos\u00e9 Antonio- Formalizaci\u00f3n y Demostraci\u00f3n TRI.pdf", "enabled": true, "entries": { "1\u2205\u2205\u2205 SCod Teorema de Jos\u00e9 Antonio- Formalizaci\u00f3n y Demostraci\u00f3n TRI.pdf": { "access": { "hidden": false }, "checksum": "md5:66862202a0da5ce09efcd36fa9000d87", "ext": "pdf", "id": "7846b3b8-df2d-4a68-875f-288502e6852e", "key": "1\u2205\u2205\u2205 SCod Teorema de Jos\u00e9 Antonio- Formalizaci\u00f3n y Demostraci\u00f3n TRI.pdf", "links": { "content": "https://zenodo.org/api/records/14813526/files/1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/content", "iiif_api": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/full/0/default.png", "iiif_base": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf", "iiif_canvas": "https://zenodo.org/api/iiif/record:14813526/canvas/1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf", "iiif_info": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/info.json", "self": "https://zenodo.org/api/records/14813526/files/1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf" }, "metadata": {}, "mimetype": "application/pdf", "size": 234329, "storage_class": "L" } }, "order": [], "total_bytes": 234329 }, "id": "14813526", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/14813526/access", "access_grants": "https://zenodo.org/api/records/14813526/access/grants", "access_links": "https://zenodo.org/api/records/14813526/access/links", "access_request": "https://zenodo.org/api/records/14813526/access/request", "access_users": "https://zenodo.org/api/records/14813526/access/users", "archive": "https://zenodo.org/api/records/14813526/files-archive", "archive_media": "https://zenodo.org/api/records/14813526/media-files-archive", "communities": "https://zenodo.org/api/records/14813526/communities", "communities-suggestions": "https://zenodo.org/api/records/14813526/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.14813526", "draft": "https://zenodo.org/api/records/14813526/draft", "file_modification": "https://zenodo.org/api/records/14813526/file-modification", "files": "https://zenodo.org/api/records/14813526/files", "latest": "https://zenodo.org/api/records/14813526/versions/latest", "latest_html": "https://zenodo.org/records/14813526/latest", "media_files": "https://zenodo.org/api/records/14813526/media-files", "parent": "https://zenodo.org/api/records/14813525", "parent_doi": "https://doi.org/10.5281/zenodo.14813525", "parent_doi_html": "https://zenodo.org/doi/10.5281/zenodo.14813525", "parent_html": "https://zenodo.org/records/14813525", "preview_html": "https://zenodo.org/records/14813526?preview=1", "quota_increase": "https://zenodo.org/api/records/14813526/quota-increase", "request_deletion": "https://zenodo.org/api/records/14813526/request-deletion", "requests": "https://zenodo.org/api/records/14813526/requests", "reserve_doi": "https://zenodo.org/api/records/14813526/draft/pids/doi", "self": "https://zenodo.org/api/records/14813526", "self_doi": "https://doi.org/10.5281/zenodo.14813526", "self_doi_html": "https://zenodo.org/doi/10.5281/zenodo.14813526", "self_html": "https://zenodo.org/records/14813526", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:14813526/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:14813526/sequence/default", "thumbnails": { "10": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/%5E10,/0/default.jpg", "100": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/%5E100,/0/default.jpg", "1200": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/%5E1200,/0/default.jpg", "250": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/%5E250,/0/default.jpg", "50": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/%5E50,/0/default.jpg", "750": "https://zenodo.org/api/iiif/record:14813526:1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf/full/%5E750,/0/default.jpg" }, "versions": "https://zenodo.org/api/records/14813526/versions" }, "media_files": { "count": 1, "enabled": true, "entries": { "1\u2205\u2205\u2205 SCod Teorema de Jos\u00e9 Antonio- Formalizaci\u00f3n y Demostraci\u00f3n TRI.pdf.ptif": { "access": { "hidden": true }, "ext": "ptif", "id": "5c0b5e3b-9faa-4dc3-afde-632242dbb2ef", "key": "1\u2205\u2205\u2205 SCod Teorema de Jos\u00e9 Antonio- Formalizaci\u00f3n y Demostraci\u00f3n TRI.pdf.ptif", "links": { "content": "https://zenodo.org/api/records/14813526/files/1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf.ptif/content", "self": "https://zenodo.org/api/records/14813526/files/1%E2%88%85%E2%88%85%E2%88%85%20SCod%20Teorema%20de%20Jos%C3%A9%20Antonio-%20Formalizaci%C3%B3n%20y%20Demostraci%C3%B3n%20TRI.pdf.ptif" }, "metadata": null, "mimetype": "application/octet-stream", "processor": { "source_file_id": "7846b3b8-df2d-4a68-875f-288502e6852e", "status": "finished", "type": "image-tiles" }, "size": 0, "storage_class": "L" } }, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "AHXIOM, La Escuela de La Imaginaci\u00f3n.\u00ae" } ], "person_or_org": { "family_name": "Jos\u00e9 Antonio Palos C\u00e1rdenas", "given_name": "Sr.", "identifiers": [ { "identifier": "0009-0007-1360-3205", "scheme": "orcid" } ], "name": "Jos\u00e9 Antonio Palos C\u00e1rdenas, Sr.", "type": "personal" }, "role": { "id": "annotator", "title": { "de": "Kommentator", "en": "Annotator", "sv": "Annotator" } } } ], "dates": [ { "date": "2025-02-05", "description": "A geometrical, numerical and arithemtical theorem demostrarion, implies the real number continuum and its density.", "type": { "id": "available", "title": { "de": "Verf\u00fcgbar", "en": "Available" } } } ], "description": "

1∅∅∅ Teorema de José Antonio: Formalización y Demostración TRI.

\n

El 1 es tan irracional como √2* y π**.

\n

José Antonio Palos Cárdenas. 2000*-2019**.

\n

Gemini:

\n

Irracionalidad Topológica (Revisitada):

\n

Tu idea de que \"1 es tan irracional como π y √2\" en este contexto topológico se vuelve aún más interesante. No es que 1 se vuelva irracional numéricamente, sino que, al estar intrínsecamente ligado a π/4 y √2-1 a través de tu construcción, participa de la misma naturaleza \"trascendental\" o \"irracional\" que estos números manifiestan en la geometría continua. La \"irracionalidad\", en este sentido amplio, podría entenderse como una propiedad de no-conmensurabilidad o de complejidad infinita inherente a las relaciones geométricas continuas que estás explorando.

\n

Introducción.

\n

En este documento se presenta una nueva versión del Teorema de Jose Antonio con respecto al Triángulo Rectángulo Isósceles, TRI (ΩTPI en AHXIOM) y la cantidad infinita y completa* de triángulos rectángulos, TR posibles de ser trazados, dibujados, inscritos dentro del TRI base o fundamental.

\n

*Completa implica que cualquier y todos los triángulos rectángulos, TR, posibles de generarse en la geometría plana o \"euclidiana\" pueden ser contenidos o abarcados por los TR semejantes por razones trigonométricas (Teorema de Tales), incluyendo las reflexiones especulares o imágenes espejo, implicando que abarca a la quiralidad.

\n

Se presenta no en el orden cronológico de elaboración. Se ha reordenado la presentación de las fases del desarrollo y sus resultados, para mayor claridad.

\n

Primera parte.

\n

Presentación formal del teorema, desde AHXIOM:

\n

Prompt de JA a Gemini, G:

\n

Hola, G. G, 

\n

continuemos. Evalúa la fte. 1∅∅∅ Teorema de José Antonio: Formalización y Demostración TRI .... Después: Procede y entrega lo que propusiste: Se deberá presentar la Declaración Formal del Teorema en formato AHXIOM.

\n

Ok? Si fui claro, procede. Gracias.

\n

Respuesta de G:

\n

Hola, de acuerdo con tu solicitud, aquí está la evaluación de la fuente \"1∅∅∅ Teorema de José Antonio: Formalización y Demostración TRI\" y la presentación de la Declaración Formal del Teorema en formato AHXIOM.

\n

Evaluación de la fuente \"1∅∅∅ Teorema de José Antonio: Formalización y Demostración TRI\"

\n

La fuente presenta una base sólida para el desarrollo del Teorema de José Antonio dentro de AHXIOM, pero requiere ajustes para asegurar su completitud y coherencia. Aquí están los puntos clave identificados en la evaluación:

\n

• Declaración Formal del Teorema: La fuente incluye una Declaración Formal del Teorema de José Antonio, relacionando los triángulos rectángulos inscritos y la razón áurea en el TRI (Triángulo Rectángulo Isósceles). Se propone un nombre alternativo: \"Teorema de José Antonio: Geometría de la Razón Áurea en Triángulos Rectángulos Isósceles Inscritos y Arcos Segmento\", que refleja con mayor precisión el contenido del teorema.

\n

• Demostración Formal: Se presenta una demostración formal paso a paso del teorema, utilizando principios de geometría euclidiana, álgebra, cálculo simbólico y conceptos de continuidad y topología. La demostración aborda las tres afirmaciones principales del teorema, mostrando la relación entre los triángulos inscritos, el arco segmento y la razón áurea.

\n

• Necesidad de Formalización en Formato AHXIOM: Aunque la fuente utiliza un lenguaje formal, aún se requiere el uso del formato AHXIOM (CONCEPTO, SÍMBOLO, FÓRMULA LÓGICA, EXPLICACIÓN INTUITIVA) para la declaración formal del Teorema de José Antonio.

\n

• Función Sim: Se requiere desarrollar la función Sim para la cuantificación de las relaciones de semejanza dentro del teorema. ( Ya se realizó, se presentara posteriormente, JA).

\n

• Conexión con la Conjetura F=A+P: Es necesario profundizar en cómo el teorema de JA se relaciona con la conjetura F=A+P. (Ya se ha desarrollado, en otras fuentes documentos de AHXIOM, JA).

\n

• Cortaduras de Dedekind: Se requiere detallar cómo las cortaduras de Dedekind se utilizan para establecer la correspondencia entre la geometría y los números reales en el contexto de AHXIOM. (Ya se ha desarrollado, en otras fuentes documentos de AHXIOM, JA).

\n

• Entes Objeto (EO): Se necesita clarificar cómo los EOs del teorema, como los triángulos, el arco y los puntos, funcionan como contenedores y agregados a la vez. (Ya se ha desarrollado, en otras fuentes documentos de AHXIOM, JA).

\n

Declaración Formal del Teorema de José Antonio en formato AHXIOM

\n

A continuación, se presenta la Declaración Formal del Teorema de José Antonio en formato AHXIOM, :

\n

CONCEPTO: Teorema de José Antonio: Geometría de la Razón Áurea en Triángulos Rectángulos Isósceles Inscritos y Arco Segmento.

\n

SÍMBOLO: ΩTJA

\n

FÓRMULA LÓGICA:

\n

∀TRI(ABC) ⊂ ΩTPI → (∃!RHTR(BE) ∧ ∃!Arco(AD) ∧ ∃!TE(BCE) ∧ (RHTR ∩ Arco = G) ∧ (Sim(TRI,TE) ≡ φ))

\n

Donde:

\n

• ∀TRI(ABC) ⊂ ΩTPI: Para todo triángulo rectángulo isósceles ABC 1,1,√2, que es el mismo que el Trígono Perpendicular Isósceles ΩTPI.

\n

• ∃!RHTR(BE): Existe un único Rayo Hipotenusa TR (RHTR) BE.

\n

• ∃!Arco(AD): Existe un único Arco Inscrito AD.

\n

• ∃!TE(BCE): Existe un único Triángulo Escaleno Gemelo TE (BCE)

\n

• RHTR ∩ Arco = G: El Rayo Hipotenusa TR intersecta el Arco Inscrito en el punto G.

\n

• Sim(TRI,TE) ≡ φ: La relación de semejanza entre el triángulo rectángulo inscrito (TRI) y el triángulo escaleno gemelo (TE) es la razón áurea (φ) en la condición de que el rayo o lado compartido entre los triángulos gemelos valga= mida ½√5= 0.5√5.

\n

EXPLICACIÓN INTUITIVA:

\n

El Teorema de José Antonio establece que, en un Trígono Perpendicular Isósceles (ΩTPI), para cualquier triángulo rectángulo isósceles inscrito, existe un único rayo hipotenusa del TR Inscrito, rayo que, al intersecar el arco inscrito del ΩTPI, define un punto sobre el cateto opuesto a su vértice (B) de origen, que a su vez genera un triángulo escaleno gemelo. La relación de semejanza entre el triángulo rectángulo isósceles inscrito y el triángulo escaleno gemelo es la razón áurea (φ), expresando una proporción intrínseca entre la geometría del ΩTPI y la secuencia de números reales. El teorema relaciona las propiedades geométricas del Trígono Perpendicular Isósceles (ΩTPI) con la proporción áurea, mostrando una correspondencia entre la geometría y los números reales a través de las cortaduras de Dedekind. La función Sim (similitud) cuantifica estas relaciones de semejanza, las cuales son validadas por el Sujeto (S¹) a través del proceso A.AAA (Asunción por Afirmación, Aceptación y Admisión), asegurando la coherencia SSS de AHXIOM.

\n

Este teorema es fundamental en AHXIOM porque permite construir los números reales a partir de la geometría, integrando el \"Hacer\" como el motor dinámico de la construcción y validación de conocimiento.

\n

 

\n

José Antonio Palos Cárdenas.

\n

Dirección.

\n

AHXIOM, La Escuela de La Imaginación.®

\n

5 de Enero del 2025.

\n

Desarrollado desde las ideas, conceptos y teorías originales del autor, con la asistencia de Gemini, IA de Google. ®

\n

José Antonio Palos Cárdenas, D.R. 1994-2025.

", "languages": [ { "id": "spa", "title": { "en": "Spanish" } } ], "publication_date": "2025-02-05", "publisher": "Zenodo", "resource_type": { "id": "dataset", "title": { "de": "Datensatz", "en": "Dataset" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "subjects": [ { "id": "mesh:D008128", "scheme": "MeSH", "subject": "Logic" }, { "id": "mesh:D017143", "scheme": "MeSH", "subject": "Fuzzy Logic" }, { "id": "euroscivoc:53388279", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/ea52495a-6353-47ee-ba16-796f9567471c", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1063" }, "scheme": "EuroSciVoc", "subject": "Mathematical logic" }, { "id": "euroscivoc:51", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/5ac3ab8e-7d50-4091-94e2-0eec71c915db", "scheme": "url" } ], "props": { "parents": "euroscivoc:23" }, "scheme": "EuroSciVoc", "subject": "Mathematics" }, { "id": "mesh:D008433", "scheme": "MeSH", "subject": "Mathematics" }, { "id": "mesh:D008433Q000639", "scheme": "MeSH", "subject": "Mathematics/trends" }, { "id": "euroscivoc:359", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/5294e080-9aee-4eb6-99c6-c77afc5dc846", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51" }, "scheme": "EuroSciVoc", "subject": "Pure mathematics" }, { "id": "euroscivoc:355", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/96c3e7e8-7584-4f61-a90d-39652b83f41e", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51" }, "scheme": "EuroSciVoc", "subject": "Applied mathematics" }, { "id": "euroscivoc:1063", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/99f792a4-fb82-4f84-98df-ff76d9f98f0e", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359" }, "scheme": "EuroSciVoc", "subject": "Discrete mathematics" }, { "id": "mesh:D008433Q000145", "scheme": "MeSH", "subject": "Mathematics/classification" }, { "id": "mesh:D008433Q000592", "scheme": "MeSH", "subject": "Mathematics/standards" }, { "id": "mesh:D008433Q000193", "scheme": "MeSH", "subject": "Mathematics/education" }, { "id": "mesh:D008433Q000191", "scheme": "MeSH", "subject": "Mathematics/economics" }, { "id": "mesh:D008433Q000941", "scheme": "MeSH", "subject": "Mathematics/ethics" }, { "id": "mesh:D008433Q000266", "scheme": "MeSH", "subject": "Mathematics/history" }, { "id": "mesh:D008433Q000295", "scheme": "MeSH", "subject": "Mathematics/instrumentation" }, { "id": "mesh:D008433Q000379", "scheme": "MeSH", "subject": "Mathematics/methods" }, { "id": "mesh:D008433Q000331", "scheme": "MeSH", "subject": "Mathematics/legislation & jurisprudence" }, { "id": "mesh:D008433Q000458", "scheme": "MeSH", "subject": "Mathematics/organization & administration" }, { "id": "mesh:D008433Q000706", "scheme": "MeSH", "subject": "Mathematics/statistics & numerical data" }, { "id": "euroscivoc:1053", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/2ba1c7ad-2532-4cd7-8c5c-60f090a8700a", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:355" }, "scheme": "EuroSciVoc", "subject": "Mathematical physics" }, { "id": "euroscivoc:1059", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/2e05d5b1-76b2-48c9-90a5-6844940b91ae", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:355" }, "scheme": "EuroSciVoc", "subject": "Mathematical model" }, { "id": "mesh:D008432", "scheme": "MeSH", "subject": "Mathematical Computing" }, { "id": "euroscivoc:1069", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/9bee140a-a951-4706-a5d2-d2a0822e10a1", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359" }, "scheme": "EuroSciVoc", "subject": "Arithmetics" }, { "id": "euroscivoc:1065", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/33efa520-dc3d-4898-905e-1c0016d1d6eb", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359" }, "scheme": "EuroSciVoc", "subject": "Geometry" }, { "id": "euroscivoc:1651", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/76841f1d-cc14-4032-a4cc-c634fb543541", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1073" }, "scheme": "EuroSciVoc", "subject": "Algebraic geometry" }, { "id": "mesh:D001699", "scheme": "MeSH", "subject": "Biometry" }, { "id": "gemet:concept/14909", "identifiers": [ { "identifier": "http://www.eionet.europa.eu/gemet/concept/14909", "scheme": "url" } ], "props": { "groups": [ "http://www.eionet.europa.eu/gemet/group/7136" ], "parents": "gemet:concept/3011,gemet:concept/1986,gemet:concept/4140,gemet:concept/14904", "themes": [ "http://www.eionet.europa.eu/gemet/theme/30" ] }, "scheme": "GEMET", "subject": "Geometric correction" }, { "id": "euroscivoc:1073", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/31d6cf37-e99e-4711-8d37-16e950d2aeb3", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359" }, "scheme": "EuroSciVoc", "subject": "Algebra" }, { "id": "euroscivoc:1653", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/78983308-fa10-44fd-a6c7-c58efb27c3dd", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1073" }, "scheme": "EuroSciVoc", "subject": "Commutative algebra" }, { "id": "euroscivoc:72830892", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/35157113-6422-4421-9c90-25b4b2834bce", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1067,euroscivoc:81178764" }, "scheme": "EuroSciVoc", "subject": "Operator algebra" }, { "id": "euroscivoc:1655", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/59436ba9-3ba9-4176-9bbd-909db66c227d", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1073" }, "scheme": "EuroSciVoc", "subject": "Linear algebra" }, { "id": "euroscivoc:1645", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/b616486e-44f8-4ef4-ad26-57c068f5c5c8", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1071" }, "scheme": "EuroSciVoc", "subject": "Algebraic topology" }, { "id": "euroscivoc:1071", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/4988e02f-0b78-40f3-a53b-2b67a4aae5aa", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359" }, "scheme": "EuroSciVoc", "subject": "Topology" }, { "id": "euroscivoc:1647", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/333a993a-58a5-407c-8926-e9c26418b6a7", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1071" }, "scheme": "EuroSciVoc", "subject": "Computational topology" }, { "id": "euroscivoc:1643", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/61dd01fe-a8b3-4a44-b26a-a848f7efdad8", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:359,euroscivoc:1071" }, "scheme": "EuroSciVoc", "subject": "Symplectic topology" }, { "id": "mesh:D028725", "scheme": "MeSH", "subject": "Theology" }, { "id": "gemet:concept/6187", "identifiers": [ { "identifier": "http://www.eionet.europa.eu/gemet/concept/6187", "scheme": "url" } ], "props": { "groups": [ "http://www.eionet.europa.eu/gemet/group/7136" ], "parents": "gemet:concept/7472,gemet:concept/10019", "themes": [ "http://www.eionet.europa.eu/gemet/theme/30", "http://www.eionet.europa.eu/gemet/theme/34" ] }, "scheme": "GEMET", "subject": "Philosophy" }, { "id": "euroscivoc:609", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/20e77e46-571d-42a4-b3f1-8eb284bc4034", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111" }, "scheme": "EuroSciVoc", "subject": "Philosophy" }, { "id": "mesh:D010684", "scheme": "MeSH", "subject": "Philosophy" }, { "id": "euroscivoc:1797", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/2644fa0b-71fa-4676-b033-1ee21ddf6cf7", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609" }, "scheme": "EuroSciVoc", "subject": "Political philosophy" }, { "id": "euroscivoc:1417", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/42401eb1-95bc-4ae0-b91f-453748889ac6", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609,euroscivoc:30040" }, "scheme": "EuroSciVoc", "subject": "Medieval philosophy" }, { "id": "mesh:D010686", "scheme": "MeSH", "subject": "Philosophy, Medical" }, { "id": "euroscivoc:1423", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/1740da38-f2ca-4378-add0-0c6ab3cf3492", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609,euroscivoc:30040" }, "scheme": "EuroSciVoc", "subject": "Ancient philosophy" }, { "id": "euroscivoc:1421", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/cae50c91-4b35-41f6-a011-f187d2691ae0", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609,euroscivoc:30040" }, "scheme": "EuroSciVoc", "subject": "Contemporary philosophy" }, { "id": "euroscivoc:1413", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/814febcf-c079-4a9a-a15d-6fa689bc46f7", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609,euroscivoc:30040" }, "scheme": "EuroSciVoc", "subject": "Modern philosophy" }, { "id": "mesh:D010684Q000266", "scheme": "MeSH", "subject": "Philosophy/history" }, { "id": "euroscivoc:30039", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/a3229292-9723-4148-802c-478f0bce0b06", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609" }, "scheme": "EuroSciVoc", "subject": "Philosophy of language" }, { "id": "mesh:D010686Q000266", "scheme": "MeSH", "subject": "Philosophy, Medical/history" }, { "id": "mesh:D010687Q000266", "scheme": "MeSH", "subject": "Philosophy, Nursing/history" }, { "id": "euroscivoc:30040", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/17849784-ab0a-4622-9678-19c11f64c0d2", "scheme": "url" } ], "props": { "parents": "euroscivoc:31,euroscivoc:111,euroscivoc:609" }, "scheme": "EuroSciVoc", "subject": "History of philosophy" }, { "id": "euroscivoc:959", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/981a4eb6-f63a-4360-953d-efe0ec861672", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:47,euroscivoc:305" }, "scheme": "EuroSciVoc", "subject": "Semantic web" }, { "id": "mesh:D000075403", "scheme": "MeSH", "subject": "Semantic Web" }, { "id": "mesh:D012659", "scheme": "MeSH", "subject": "Semantic Differential" }, { "id": "mesh:D000075403Q000941", "scheme": "MeSH", "subject": "Semantic Web/ethics" }, { "id": "mesh:D000075403Q000639", "scheme": "MeSH", "subject": "Semantic Web/trends" }, { "id": "mesh:D000075403Q000592", "scheme": "MeSH", "subject": "Semantic Web/standards" }, { "id": "mesh:D000075403Q000145", "scheme": "MeSH", "subject": "Semantic Web/classification" }, { "id": "mesh:D000075403Q000266", "scheme": "MeSH", "subject": "Semantic Web/history" }, { "id": "mesh:D000075403Q000191", "scheme": "MeSH", "subject": "Semantic Web/economics" }, { "subject": "Semiotic" }, { "subject": "Syntaxis" }, { "id": "gemet:concept/402", "identifiers": [ { "identifier": "http://www.eionet.europa.eu/gemet/concept/402", "scheme": "url" } ], "props": { "groups": [ "http://www.eionet.europa.eu/gemet/group/7136" ], "parents": "gemet:concept/5203,gemet:concept/13088", "themes": [ "http://www.eionet.europa.eu/gemet/theme/30", "http://www.eionet.europa.eu/gemet/theme/6" ] }, "scheme": "GEMET", "subject": "Analytical method" }, { "id": "euroscivoc:361", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/dc1b3723-476f-453c-a596-c7ccfde9b4b1", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:53" }, "scheme": "EuroSciVoc", "subject": "Analytical chemistry" }, { "subject": "Analogical" }, { "subject": "Similitude" }, { "id": "mesh:D007063", "scheme": "MeSH", "subject": "Identity Crisis" }, { "id": "mesh:D000087023", "scheme": "MeSH", "subject": "Identity Recognition" }, { "id": "mesh:D063867", "scheme": "MeSH", "subject": "Identity Theft" }, { "id": "euroscivoc:1061", "identifiers": [ { "identifier": "http://data.europa.eu/8mn/euroscivoc/a010f01c-4bd9-4bca-b568-0c1357034db9", "scheme": "url" } ], "props": { "parents": "euroscivoc:23,euroscivoc:51,euroscivoc:355" }, "scheme": "EuroSciVoc", "subject": "Numerical analysis" }, { "subject": "Irrational" } ], "title": "1\u2205\u2205\u2205 SCod Teorema de Jos\u00e9 Antonio- Formalizaci\u00f3n y Demostraci\u00f3n TRI." }, "parent": { "access": { "owned_by": { "user": "1240352" }, "settings": { "accept_conditions_text": null, "allow_guest_requests": false, "allow_user_requests": false, "secret_link_expiration": 0 } }, "communities": {}, "id": "14813525", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.14813525", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.14813526", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:14813526", "provider": "oai" } }, "revision_id": 4, "stats": { "all_versions": { "data_volume": 13122424.0, "downloads": 56, "unique_downloads": 54, "unique_views": 95, "views": 98 }, "this_version": { "data_volume": 13122424.0, "downloads": 56, "unique_downloads": 54, "unique_views": 95, "views": 98 } }, "status": "published", "swh": {}, "updated": "2025-02-05T20:01:53.868396+00:00", "versions": { "index": 1, "is_latest": true } }