English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/148125
Share/Impact:
Statistics
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

Title

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

AuthorsNoheda Marín, Pedro ; Tabares Cantero, Nuria
Issue Date2017
AbstractIn 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
Descriptionlicencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.
URIhttp://hdl.handle.net/10261/148125
Appears in Collections:(IQOG) Informes y documentos de trabajo
Files in This Item:
File Description SizeFormat 
CG- Noheda-Tabares (NT) (Goldbach )pdf DEF-EMAIL.pdf3,64 MBAdobe PDFThumbnail
View/Open
Show full item record
Review this work
 


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.