Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/148125
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | A primordial, mathematical, logical and computable, demonstration (proof) of the family of conjectures known as Goldbach´s |
Autor: | Noheda Marín, Pedro CSIC ORCID ; Tabares Cantero, Nuria | Fecha de publicación: | 2017 | Resumen: | In this document, by means of a novel system model and first order topological, algebraic and geometrical free-‐context formal language (NT-‐FS&L), first, we describe a new signature for a set of the natural numbers that is rooted in an intensional inductive de-‐embedding process of both, the tensorial identities of the known as “natural numbers”, and the abstract framework of theirs locus-‐positional based symbolic representations. Additionally, we describe that NT-‐FS&L is able to: i.-‐ Embed the De Morgan´s Laws and the FOL-‐Peano´s Arithmetic Axiomatic. ii.-‐ Provide new points of view and perspectives about the succession, precede and addition operations and of their abstract, topological, algebraic, analytic geometrical, computational and cognitive, formal representations. Second, by means of the inductive apparatus of NT-‐FS&L, we proof that the family of conjectures known as Glodbach’s holds entailment and truth when the reasoning starts from the consistent and finitary axiomatic system herein described | Descripción: | licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional. | URI: | http://hdl.handle.net/10261/148125 |
Aparece en las colecciones: | (IQOG) Informes y documentos de trabajo |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
CG- Noheda-Tabares (NT) (Goldbach )pdf DEF-EMAIL.pdf | 3,64 MB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
803
checked on 18-mar-2024
Download(s)
923
checked on 18-mar-2024
Google ScholarTM
Check
Este item está licenciado bajo una Licencia Creative Commons