Goldbach Conjecture and First-Order Arithmetic
Abstract
Description
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.
4 pages, presented in the First International Congress of Applied Mathematics (Theoretical Foundations of Applied Mathematics) in Madrid on June, 2007, reference 702
4 pages, presented in the First International Congress of Applied Mathematics (Theoretical Foundations of Applied Mathematics) in Madrid on June, 2007, reference 702