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

licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.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 describedWe wish to thank the Organic Chemistry Institute of the Spanish National Research Council (IQOG/CSIC) for its operative and technical support to the Pedro Noheda Research Group (PNRG). We also thank the Institute for Physical and Information Technologies (ITETI/CSIC) of the Spanish National Research Council for their hospitality. We also thank for their long years of dedicated and kind support Dr. Juan Martínez Armesto (VATC/CSIC), Belén Cabrero Suárez (IQOG/CSIC, Administration), Mar Caso Neira (IQOG/CENQUIOR/CSIC, Library) and David Herrero Ruíz (PNRG/IQOG/CSIC). We wish to thank to Bernabé-­‐Pajares´s brothers (Dr. Manuel Bernabé-­‐Pajares, IQOG/CSIC Structural Chemistry & Biochemistry; Magnetic Nuclear Resonance and Dr. Alberto Bernabé Pajares (Greek Philology and Indo-­‐European Linguistics/UCM), for their kind attention during numerous and kind discussions about space, time, imaging and representation of knowledge, language, transcription mistakes, myths and humans always holding us familiar illusion and passion for knowledge and intellectual progress. We wish to thank Dr. Carlos Cativiela Marín (ISQCH/UNIZAR) for his encouragement and for kind listening and attention. We wish to thank Miguel Lorca Melton for his encouragement and professional point of view as Patent Attorney. Last but not least, our gratitude to Nati, María and Jaime for the time borrowed from a loving husband and father. Finally, we apologize to many who have not been mentioned today, but to whom we are grateful. Finally, let us point out that we specially apologize to many who have been mentioned herein for any possible misunderstanding regarding the sense and intension of their philosophic, scientific and/or technical hard work and milestone ideas; we hope that at least Goldbach, Euler and Feymann do not belong to this last human´s collectivity.Peer reviewe

From Quantum Metalanguage to the Logic of Qubits

The main aim of this thesis is to look for a logical deductive calculus (we will adopt sequent calculus, originally introduced in Gentzen, 1935), which could describe quantum information and its properties. More precisely, we intended to describe in logical terms the formation of the qubit (the unit of quantum information) which is a particular linear superposition of the two classical bits 0 and 1. To do so, we had to introduce the new connective "quantum superposition", in the logic of one qubit, Lq, as the classical conjunction cannot describe this quantum link.Comment: 138 pages, PhD thesis in Mathematic

Physical (A)Causality: Determinism, Randomness and Uncaused Events

Physical indeterminism; Randomness in physics; Physical random number generators; Physical chaos; Self-reflexive knowledge; Acausality in physics; Irreducible randomnes

A General Semantics for Logics of Affirmation and Negation

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality

Natural Communication

In Natural Communication, the author criticizes the current paradigm of specific goal orientation in the complexity sciences. His model of "natural communication" encapsulates modern theoretical concepts from mathematics and physics, in particular category theory and quantum theory. The author is convinced that only by looking to the past is it possible to establish continuity and coherence in the complexity science

Deductive Systems in Traditional and Modern Logic

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic