Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/148125
COMPARTIR / EXPORTAR:
logo share SHARE BASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE

Invitar a revisión por pares abierta
Título

A primordial, mathematical, logical and computable, demonstration (proof) of the family of conjectures known as Goldbach´s

AutorNoheda Marín, Pedro CSIC ORCID ; Tabares Cantero, Nuria
Fecha de publicación2017
ResumenIn 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ónlicencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.
URIhttp://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.pdf3,64 MBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo

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 Creative Commons