UPDF AI

POSSIBLE SOLUTION TO GÖDEL'S INCOMPLETENESS THEOREM AND GÖDEL'S SECOND THEOREM

Vitalii Bydzan

2023 · DOI: 10.36074/grail-of-science.04.08.2023.032
1 Citations

Abstract

Plan

Statement of the problem

Find information to solve the problem

Clarification of information to solve the problem

Formulation of the lemma to solve the problem

Search for a principle to solve the problem

Proving the lemma that every mathematical system needs an observer

Proving the lemma that every mathematical system needs an observer, whose existence only he can know, because whose existence cannot be proved

8.Mathematical record of problem solving

Confirmation of the consistency and completeness of the formal system for one observer.

Necessary and sufficient conditions for the formation of a consistent system for society (group of observers)

Solving the liar paradox as a byproduct of solving the problem

Using observer’s view on The Ship of Theseus

The unexpected hanging paradox

The sorites paradox

The philosophical basis of the theorem proof

Some reasonable conclusions from this work that can be applied in other scientific

Conclusions of solving the problem

My sincere thanks for the provided knowledge / information sources