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

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 



Plan
1. Statement of the problem 2. Find information to solve the problem 3. Clarification of information to solve the problem 4. Formulation of the lemma to solve the problem 5. Search for a principle to solve the problem 6. Proving the lemma that every mathematical system needs an observer 7. 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 9. Confirmation of the consistency and completeness of the formal system for one observer. 10. Necessary and sufficient conditions for the formation of a consistent system for society (group of observers) 11. Solving the liar paradox as a byproduct of solving the problem 12. Using observer's view on The Ship of Theseus 13. The unexpected hanging paradox 14. The sorites paradox 15. The philosophical basis of the theorem proof 16. Some reasonable conclusions from this work that can be applied in other scientific 17. Conclusions of solving the problem 18. My sincere thanks for the provided knowledge / information sources 1.Problem statement Gödel's incompleteness theorem and Gödel's second theorem are two theorems of mathematical logic about the fundamental limitations of formal arithmetic and, consequently, any formal system in which it is possible to define basic arithmetic concepts: natural numbers, 0, 1, addition and multiplication.
The first theorem states that if formal arithmetic is consistent, then there exists an indeducible and irrefutable formula in it.
The second theorem states that if formal arithmetic is consistent, then there is С ЕКЦІЯ Х VІІ. ФІЗИКО -М АТ ЕМ АТ ИЧ Н І Н АУК И of philosophy, this term is used to refer to the concept underlying the work of I. Kant "Criticism of Pure Reason". The conception of things in itself implies: the world, with all its objects, is always given to us indirectly through perception; Space and time are only innate forms of perception. Hence: the world as a whole and any object in it in particular consists of two levels: (1) the true object (the unmanifested object, the thing in itself, the noumen) and (2) the object in its relation to other objects (revealed object, thing for us, phenomenon). The first level is hidden from perception, and the second level, which we perceive (and only its), is only approximate and mostly distorted our ideas about the object [10].
First, any mathematical system, model, object, does not exist in reality, it is only a figment of the human imagination and it cannot exist outside the human imagination. Mathematical formulas in ink on paper are only a reflection of the human imagination, no living being without critical (mathematical) or even critical thinking who has never studied OUR mathematics will ever understand them, which makes sense to us, for them will only be ink on paper, a strange deviation from the second law of thermodynamics, if they suddenly know it.
Every mathematical system needs an observer. 7. Proving the lemma that every mathematical system needs an observer, whose existence only he can know, because whose existence cannot be proved I doubt I exist.
To doubt, one must exist. What a shame! We can't win this fight by using logic; our logic is useless! Let's think about other ways to accept knowledge. I am aware (and acknowledge) of four: intuition, authority, logic, and evidence [9]. Well, the logic is defeated and there are no authorities. But my intuition "is telling" me that something is going on and I have the evidence of it -a memory of me thinking and it seems to me that I can change my thinking. Can I accept it as proof of my existence? But who can tell the answer if there is no logic? The question is: is there an absolute answer or are we free to choose? Let's try to reject it. Think about it. Well, we have rejected intuition, we have no logic and authorities, we don't have any instruments to work with evidence (even if we have any). We're doomed. It's dead-end. Nothing.
Let me try to believe my intuition! The evidence seems reasonable. Furthermore, I can be an authority and create logic. I still doubt others' existence, but I have ground to begin with. Do you exist, too? "Here we're, don't turn away now". Warrior, let's build this town from dust.
My argument is based on Cogito ergo sum (French: Cogito ergo sum). Je pense The methodological significance of the phrase for Descartes is that there is a statement that is unconditionally true. Descartes called for universal doubt. One can doubt everything-the existence of the external world, God, matter, etc.-but the subject of reasoning cannot doubt his own being, because if he is not, then who is thinking [11]  There is no proof for the statement with Gödel number G, because there is no place for it. It can exist only outside the formal system. If you assign a number to it, it will contradict your formal system, so it will be restarted with new axioms, for example, now your g will be your first thought, so -g will be the opposite thought to thought G. Well, if you think about, we already have G and -G in our formal system, it's + ∞ and -∞ (plus infinity and minus infinity), we can't assign a "normal" number to it. You can think of infinity like a variable. ("normal" -any number that you can write exactly with numbers or functions) Together, natural numbers and opposites of natural numbers with zero form the set of integers, etc.
The observer exists in order to create from "zero" or "point" an algebraicgeometric model of the system, which he observes, having (seeing) obvious principles (axioms, postulates).
We can say that we have found Gödel number G. G is an infinity. Well, it can be the God's number as well. Hmm, that's why we can't prove the existence of God by logic, by reason, only by intuition. Seems fair to me.
9. Confirmation of the consistency and completeness of the formal system for one observer.
Logical laws are objective, in the process of historical development they were formed in human consciousness and without it they do not exist. Consequently, their functioning is linked to the existence of human society. After all, only man is the carrier of consciousness. Regardless of the will and desire of people, their thinking takes place according to the laws of logic. Man cannot repeal the operation of these laws. If, for example, legal laws are passed or repealed by the legislator, then it is impossible to "adopt" or "establish" new laws of logic. A person can only know them and use them in thinking practice [ Therefore, for a formal system to be consistent for one observer, existing of one observer who understands one's existing is necessary and sufficient.
The formal system is complete, because the observer can't possibly know something without adding it to the system. 10. Necessary and sufficient conditions for the formation of a consistent system for society (group of observers) It is necessary to have three independent observers, each of whom knows about one's existing but doubts the existence of the other two. Two of them must state the axioms of the system that the three of them contemplate, the axioms must coincide. Next, they should state basic expressions based on axioms. If they do not match, then the third should choose the best option based on their rational thinking. Systems with the same axioms are always equivalent. This paragraph is "Three observers are needed for the plane of understanding." For example: O -observer OX -observer X, where X is the exact identification of the observer (person, individual), can be A, B, C, 1, 2, 3, Vitalii, Ivan...
ͽ is an example of a sign that denotes an observer in front of him ♡ -an example of a sign denoting that observers observe the same mathematical model ♡ (axioms must be somehow similar), have the same axioms ♡♡, speak the same language ♡♡♡ mathematically.
0 -zero (zero) L is an example of a sign that reflects the look of a mathematical model, axioms and mathematical language of the observer LOX -look X, where X is the exact identification of the form (look) of the mathematical model, axioms, and mathematical language of the observer, can be A, B, C, 1, 2, 3, Vitalii, Ivan... Axioms Abbreviated as: A, B, C -observers A♡, B♡, C react (if they can, that they are talking about mathematics) Axioms of observer A OA ͽ 0 = -0 = (-0) = (+0) = + 0 = 0 The best option is taken by quick voting: each observer has one vote and must vote for one of the equivalent systems within a limited time.
Abbreviated as follows: C A B -observers A♡♡♡, B, C♡♡♡confirm that they observe the same mathematical model ♡ (the axioms must be somehow similar), have the same axioms ♡♡, speak the same mathematically language ♡♡♡.
It is enough to have an odd number (2n-1) of independent observers, each of whom knows about one's existing but doubts the existence of (2n-2) others or an even number (2n) of independent observers, each of whom knows about one's existing but doubts the existence (2n-1) of the others to remove someone from voting.
11.Solving the liar paradox as a byproduct of solving the problem: "this sentence is false" This sentence is false means that this sentence does not exist, but it actually exists if we can make reference of it, so this sentence can be false only because it is such by designation, even if we can see that it is not. If we were not there, then there should not be a single sentence, because it is made by us.
Because of its existence in the observer's head, because all the concepts that the observer creates are consistent, it is correct, its value, however, in a mathematical system lies in the fact that it is wrong.
Another way to look at this paradox is much simpler. We can see this paradox as a Rubin's vase (a famous set of ambiguous or bi-stable (i.e., reversing) twodimensional forms developed around 1915 by the Danish psychologist Edgar Rubin) [19]. One element of Rubin's research may be summarized in the fundamental principle, "When two fields have a common border, and one is seen as figure and the other as ground, the immediate perceptual experience is characterized by a shaping effect which emerges from the common border of the fields and which operates only on one field or operates more strongly on one than on the other". By one glance at a time, we can "see" only one state of a paradox by "eyes", because we are thoughts consistent. Only by "reason" we can realize that the paradox has dual nature.
Ok, let's exemplify it with a real problem. My grandmother has recently died (actually, it is very sadly), but the registration of place of residence says that my grandmother is alive and lives at some address. For me the statement that my grandmother is alive is false is true, but only by eliminating it from registry it can become totally true, that is why everything without observer can be false and true, because if something is true it should be justified by someone, but if something is false it can be true in another reality.
All statements that are false are true. "If you can dream it, you can do it". So true statements are better. This statement is true, if it is true then it is true; if it is false, then it is false. Liar "knows" when he lies if he knows something. The problem is not getting tangled up in your lies because you are consistent, every lie can be truth. Objective statement depends for its truth on the mental states of no one. I think we are just lucky to have similar vision in simple things. That is why society's united truth of truths of individuals is usually objective.
12. Using observer's view on The Ship of Theseus The Ship of Theseus is a thought experiment about whether an object which has had all of its original components replaced remains the same object. According to legend, Theseus, the mythical Greek founder-king of Athens, rescued the children of Athens from King Minos after slaying the minotaur and then escaped onto a ship going to Delos. Each year, the Athenians commemorated this by taking the ship on a pilgrimage to Delos to honor Apollo. A question was raised by ancient philosophers: After several centuries of maintenance, if each individual part of the Ship of Theseus was replaced, one at a time, was it still the same ship?
Centuries later, the philosopher Thomas Hobbes extended the thought experiment by supposing that a custodian gathered up all of the decayed parts of the ship as they were disposed of and replaced by the Athenians, and used those decaying planks to build a second ship. Hobbes posed the question of which of the two resulting ships, the custodians or the Athenians, was the same ship as the "original" ship.
Well, it's easy. If the observer can't tell the difference then the ship or the ships are the same.
Actually, everything is different every time. No identity over time. This theory states that two ships, while identical in all other respects, are not identical if they exist in two different times. Each time is a unique "event". Thus, even without replacing parts, the ships in the harbor are different from each other at any time. This theory is extreme in its denial of the everyday concept of identity that most people rely on in everyday use.
We can state that at 1 st order change everything is changing, but at 2 nd order change is the change that the observer can detect, and the 3 rd order change is the change that is important for the observer (he chooses, based on his reasoning). 13. The unexpected hanging paradox The unexpected hanging paradox or surprise test paradox is a paradox about a person's expectations about the timing of a future event which they are told will occur at an unexpected time. The paradox is variously applied to a prisoner's hanging or a surprise school test. It was first introduced to the public in Martin Gardner's March 1963 Mathematical Games column in Scientific American magazine.
The paradox has been described as follows: A judge tells a condemned prisoner that he will be hanged at noon on one weekday in the following week but that the execution will be a surprise to the prisoner. He will not know the day of the hanging until the executioner knocks on his cell door at noon that day.
Having reflected on his sentence, the prisoner draws the conclusion that he will escape from the hanging. His reasoning is in several parts. He begins by concluding that the "surprise hanging" can't be on Friday, as if he hasn't been hanged by Thursday, there is only one day left -and so it won't be a surprise if he's hanged on Friday. Since the judge's sentence stipulated that the hanging would be a surprise to him, he concludes it cannot occur on Friday.
He then reasons that the surprise hanging cannot be on Thursday either, because Friday has already been eliminated and if he hasn't been hanged by Wednesday noon, the hanging must occur on Thursday, making a Thursday hanging not a surprise either. By similar reasoning, he concludes that the hanging can also not occur on Wednesday, Tuesday or Monday. Joyfully he retires to his cell confident that the hanging will not occur at all.
The next week, the executioner knocks on the prisoner's door at noon on Wednesday -which, despite all the above, was an utter surprise to him. Everything the judge said came true.
First of all, the prisoner's thinking is always consistent. He assumes that the judge won't lie, but it's doubtful, so he can expect that his reasoning won't work, because the premises can be wrong.
Secondly, you can expect a lot of thing, but when something (anything) happens it is always unexpected, because to be completely unexpected it should be known. For example, let's look at the inductive argument: The Sun came up every day before that for an awfully long time.
The Sun came yesterday. ∴ The Sun will come up tomorrow.
Even if there are clouds I will know that the Sun came up. So if it won't come up it will be unexpected, won't it? Well, did you count the probability of the Sun coming up or not?
Ok, let's take another example. There is a war in Ukraine and bombardment can be anytime, so people can die. Will it be expected? What about danger of nuclear war?
One more example. I know that I exist. Will I exist tomorrow? I hope, but, at least, for me it will be unexpected and joyful.
Well, let's make an order. The 1 st order of expectance: you can be 100% sure only when something has already happened (it doesn't mean that you will know exactly what happened) and the 2 nd order of expectance: the event with the highest probability will be the most expected. So if the prisoner somehow "know" (just assume that you can know something, yeah, it's funny) the probability of not being executed in his situation will be unexpected if the opposite happens. The 3 rd order of expectance: everything is expected if you can name it (actually, anything can be defined as good, bad, not good and not bad), by this logic for people in the Dark Ages nuclear war can be unexpected because they cannot possibly know about nuclear war as we know, but it makes a difference only for observer who know the difference between the nuclear war and the apocalypse, so I think that everyone can have the 3 rd order of expectance, because it's hard to tell the difference between the apocalypse and a nuclear war, actually, I don't want to know (recognize, learn) this difference. Amen.
From the 1 st order of expectance: mathematics is undecidable, the future is undecidable. It's consistent with a Turing machine and its conclusion. As the observer you can't know something is consistent and complete with your axioms until you get there (until you know what exactly you want to know). Wherever you are everything is complete and consistent, but you can't be on infinity exactly, because it won't be infinity.
14. The sorites paradox The sorites paradox (sometimes known as the paradox of the heap) is a paradox that results from vague predicates. A typical formulation involves a heap of sand, from which grains are removed individually. With the assumption that removing a single grain does not cause a heap to become a non-heap, the paradox is to consider what happens when the process is repeated enough times that only one grain remains: is it still a heap? If not, when did it change from a heap to a nonheap?
1,000,000 grains is a heap. Well, for me, why 1 grain isn't a heap? If I was an ant, surely, it will be true. Let's make it more interesting.
A person who owns only one penny is poor. A person who owns only one penny more than a poor man is also poor. ________________________________________ Therefore, a person who owns 1,000,000,000,000,000 pennies is poor.
Let's assume that premises are true. A person who owns only one penny more than a poor man is also poor can be true if there is no boundary between being poor and being non-poor. If there is a boundary then the argument can't be sound.
Let's consider a poor person as a person if he/she can't buy what he/she wants. Well, if your family member (friend) is dying from disease that can't be cured now, no money will help you buy the medicine (I assume that you want medicine to cure your family member or friend), so your are poor. The argument is valid and sound from this observer's perspective.
Let's come back to the paradox of the heap. Well, if you as observer can't see the difference between heap and non-heap (there is no boundary between being heap and being non-heap) then the argument is valid and sound, if you can see the difference then the second premise can't be true. 15. The philosophical basis of the theorem proof Mathematical science is created by a human (person) and for people, so that it is by definition humans' and cannot exist without people.
If mathematics has its own subject of contemplation, then the observer certainly introduces his observer effect, which makes mathematics a completely natural science.
The problem with cosmology, unlike any other science, is that scientists (researchers) are irrevocably and inevitably inside what they are trying to study.
The Heisenberg uncertainty principle is a fundamental principle of quantum mechanics, which states that it is fundamentally impossible to simultaneously measure with arbitrary accuracy a pair of quantities describing a quantum object, such as, for example, coordinates and momentum. This statement is true not only for measurement, but also for the theoretical construction of the quantum state of the system. That is, it is impossible to construct such a quantum state in which the system would simultaneously be characterized by precise values of coordinate and momentum. So, simply put, we as observers introduce an observer effect that cannot be eliminated.
The harder the task scientists set, the greater the observer's effect. The more we try to shed light on the darkness of ignorance to expand our horizons, the more darkness we see.
As Marcelo Glazer said: "An island of knowledge (metaphor): if you have knowledge feeding on an island like this one (ordinary island ), and inside the island what we know and outside the island is what we do not know. As we know more, the shores of our ignorance that is the boundary between the known and the unknown are also growing." My system is complete and consistent, but when I meet paradoxes my system will restart and become bigger (wider), so it will be complete and consistent again, but not for long. "We could be immortals, but not for long".
"If you stare at the abyss for too long, the abyss begins to peer at you." Friedrich Nietzsche.
Not surprisingly, the larger mathematics becomes, little by little the problem of the observer's effect appears.
16. Some reasonable conclusions from this work that can be applied in other scientific fields Psychology: I think it's inappropriate to call someone "insane", "crazy" or say that someone is "not like everyone else". It's better to say that "It's hard for me to understand this person's way of thinking." Natural sciences: we need to pay more attention to observer's effect (or condition's effect), try to estimate it to make our articles and theories simpler to check by conducting another experiment.
Game theory and other social sciences: we should be very careful about making predictions about society's and individual's behaviors, because "common sense" that is established in a society can vary a lot in minds of individuals.
The prisoner's dilemma game clearly shows that group rationality (what is best for the group, for the society) is not always equal to what is best for each individual (individual rationality [21]).
Everyone should be tolerant and considerate to each other due to uniqueness of our minds, because of the conditions of its growth.
17. Conclusions of solving the problem In my opinion, and only in my opinion, I have successfully found a solution to Gödel's incompleteness theorems and Gödel's second theorem. This is the formula: O ͽ 1/0 = ∞. Mathematics is complete, consistent, and undecidable. This solution seems to me radical enough to reject in mathematics, but nevertheless it can help