New Computing Model of GN_eTM Turing Machine On Solving Even Goldbach Conjecture

12/25/2021
by   Bogang Lin, et al.
0

Based on the propositional description of even Goldbach conjecture, in order to verify the truth of even Goldbach conjecture, we will deeply discuss this question and present a new computing model of GN_eTM Turing Machine. This paper proves the infinite existence of even Goldbach's conjecture and obtains the following new results: 1. The criterion of general probability speculation of the existence judgment for even Goldbach conjecture is studied, and which at least have a formula satisfy the deduction result of matching requirements for even Goldbach conjecture in the model ≡M (N_e). 2. In the controller of the GN_eTM model, the algorithm problem of the prime matching rule is given, regardless of whether the computer can be recursively solved, the rule algorithm for designing prime numbers in controllers is computer recursively solvable. 3. The judgment problem that about even Goldbach conjecture whether infinite existence is studied. The new research result has shown that according to the constitution model of the full arranged matrix of given even number N_e, and if only given an even number N_e, it certainly exists the matrix model Mod≡X (p) and is proved to be equivalent. Therefore, it proves indirectly that the model GN_eTM does not exist halting problem, and it also indicate that the even Goldbach conjecture is infinity existence.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/10/2019

Addendum to "Fuglede's conjecture fails in 4 dimensions over odd prime fields"

We describe computer programs accompanying our paper and show that runni...
research
07/26/2021

On the hardness of knowing busy beaver values BB(15) and BB(5,4)

The busy beaver value BB(n) is the maximum number of steps made by any n...
research
05/25/2022

Prime Holdout Problems

This paper introduces prime holdout problems, a problem class related to...
research
05/26/2018

On the non-existence of linear perfect Lee codes: The Zhang-Ge condition and a new polynomial criterion

The Golomb-Welch conjecture (1968) states that there are no e-perfect Le...
research
11/13/2020

Some remarks on hypergraph matching and the Füredi-Kahn-Seymour conjecture

A classic conjecture of Füredi, Kahn and Seymour (1993) states that give...
research
08/28/2023

Infomathic

Since its existence, the computer tool has often supported mathematician...
research
04/18/2023

Searching for ribbons with machine learning

We apply Bayesian optimization and reinforcement learning to a problem i...

Please sign up or login with your details

Forgot password? Click here to reset