Goldbach Conjecture and First-Order Arithmetic

2007/11/07 by Fernando Revilla, Revilla, Fernando
Mathematics · #Analytic Number Theory Research #Benford’s Law and Fraud Detection #History and Theory of Mathematics #math.GM #msc:11P32

paper · pdf · doi:10.48550/arxiv.0711.1126

4 pages, presented in the First International Congress of Applied Mathematics (Theoretical Foundations of Applied Mathematics) in Madrid on June, 2007, reference 702

arxiv created 2007/11/07 · arxiv updated 2009/12/01

Abstract

Using the concepts of Hyperbolic Classification of Natural Numbers, Essential Regions and Goldbach Conjecture Function we prove that the existence of a proof of the Goldbach Conjecture in First-Order Arithmetic would imply the existence of another proof in a certain extension that would not be valid in all states of time associated to natural numbers created by means of adequate dynamic processes.

Related

• Hyperbolic classification of natural numbers and Goldbach Conjecture
• Some discussions on the Goldbach conjecture
• A Hypothesis on Upper Bound of Goldbach Counting Function
• Asymptotics of Goldbach Representations
• Proof of the Goldbach conjecture in a more stringent form