Vol 3 Chapter 806: Scold, future
-
Into the Immortal Cultivation
- I am not alone
- 1727 characters
- 2021-03-02 03:52:28
Due to some reasons, a large number of users suddenly cannot open the web page to visit this site today. Please keep in mind the domain name of this site EbookFREE.me (the first letter of literature + org dot com, EbookFREE.me) to find the way home!
For the mathematicians of the earth, the mental breakdown caused by a certain theorem is at most crazy. The number of mathematicians who have stayed in psychiatric hospitals is only less than that of writers who have stayed in psychiatric hospitals.
For the monks of Shenzhou, the Dao heart is broken, and it is possible to bring physical death.
Therefore, Gödel's incomplete theorem is very dangerous for the monks of China.
Even those who knew this principle in Wang Qi ’s last life, and then deduced it personally in this life, were in danger.
However, Wang Qi knew that this should not be life-threatening.
By the way, just in case, he estimated ten possible states in advance and made twelve plans.
Among them, "Situation B" refers to his current state.
The collapse did occur, and it was so serious that all means could not be contained. However, at the last moment, the collapse will automatically stop, leaving Wang Qi a lifeline.
The view that "all axiom systems are incomplete" is just a misunderstanding of Gödel's incomplete law. In fact, a complete system known to man exists. For example, European geometry, it can be axiomized into a complete system. In addition, the Gödel's complete theorem [those in China, called "Wang's complete law"] that Wang Qi threw out a few years ago also illustrates the completeness of all first-order logic systems.
The collapse is not endless. At least in Wang Qi's cultivation method, there is something that is "incomplete" and cannot be doubted or subverted.
Wang Qi felt his condition. His life is only a thread, and his life is in danger. However, the pen in his hand has not stopped.
Because he was well prepared and left behind.
The ring "Wang" in Wang Qi's hand and the "discrete" armor on his shoulder light up one after another. Then Jarvis entered a new method into Wang Qi's body.
"Because of incompleteness, we can never prove that there is no contradiction in an axiom system", which is also a misreading of Gödel's incompleteness theorem.
Gödel's incompleteness theorem rejected the possibility of "proving the consistency of a system within a system." This proving process is complex to say, but its core idea is to use the so-called "self-referential".
-This statement states himself.
-This collection contains itself.
This is also the source of many paradoxes in logic. The "barber paradox" of Earth and the "alchemist paradox" of China are ultimately caused by the question of whether a collection should include itself.
This incomplete law can be bypassed.
The completeness of the system cannot be proved within the system, but it can be proved from outside the system.
We cannot prove this system based on the system itself, but we can prove it through another system.
Wang Qi did relevant theoretical research five or six years ago.
Exactly, the thinking of the Bulbaki school!
Prove from the outside!
The Bulbaki school is what the earth's mathematics has re-derived after being severely washed by Gödel's incomplete theorem. According to the classification of Shenzhou, it also belongs to the Lizong family. And the revision method based on the theory of the Bulbaki school can also support the mana system that collapsed due to incomplete laws.
The support given by Jarvis is re-directing the mana that collapsed inside Wang Qi.
At the same time, Wang Qi's paper is also coming to an end.
"Conclusion ... From this, I can prove that for any arithmetic system, if it contains an arithmetic system, then this system cannot satisfy both completeness and consistency. For any arithmetic system, if it contains an arithmetic system, Then, we cannot prove its consistency within this system ... "
Completeness and consistency are incompatible. This system is either contradictory or there is a proposition that can neither be proved nor falsified!
Bang!
There was a thunderstorm exploding in Wang Qi's mind. He felt refreshed and never so sober.
On the other hand, his mana system collapsed and reunited, almost equivalent to experiencing Nirvana. His cultivation practice is still in the early days of Dandan, but the essence of cultivation practice is sublimated.
Pappappappap ...
A series of crisp sounds came from the air, like a cracked silk. That was the disturbance that Wang Qi's unconsciously dissipated mana caused to his surroundings.
He stood up, and then sat down again, thinking about it. Picking up a piece of paper again, writing an appendix, once again declaring the essence of Gödel's incomplete law, and attaching the papers he has done intermittently over the past few years on "arithmetic axiomatization".
Even he himself, while writing this thesis, suffered a major collapse in the practice of law. What if he was someone else?
Therefore, a little "insurance measure" must be attached.
Although Gödel's incomplete fixed rate occupies a very important position in the history of mathematics, the proof process is relatively simple, and the paper is very short. With Wang Qi's thinking speed and hand speed, the entire paper is finished in hours.
He pushed the door out, and Chen Youjia suddenly rushed over, grabbed his collar, and scolded: "What the are you doing?"
"write thesis……"
"You almost died ..." Chen Youjia's indifferent expression became apparent at this moment, and anger and grievance appeared in her eyes at the same time. She restrained the tears from the corners of her eyes with her force and gritted her teeth: "You almost died ... you almost died! What kind of paper are you writing?"
Wang Qi just remembered that he just closed the doors and windows and forgot to shield his breath.
"At that time, Senior Pu, who pioneered the Taoist Way, was dissipated because he discovered a discontinuity." Wang Qi patted Chen Youjia's shoulder: "It's the same reason ..."
Chen Yujia breathed, and immediately calmed down: "Really ..." Her head was buried on Wang Qi's shoulder: "So ..."
If someone else said that he would subvert the existing academic system, then Chen Youjia would probably think that he was crazy, or that he was essentially incapable of learning. But somehow, Wang Qi said so, she believed.
It is very strange that although Wang Qi was brilliant in the past, it was limited to the category of "genius". It is not credible to say that he can now make achievements in the Xiaoyao series. However, Chen Youjia believed it.
Although Wang Qi is crazy, he has never been crazy in this matter.
"Hey, Brother." Mi suddenly appeared and said to Wang Qi: "Master is looking for you."
"Huh?" Wang Qi was a little surprised. Chen Youjia wondered: "Is Mr. Feng looking for you? Is it the paper you just wrote?"
"Absolutely not." Wang Qi still knew the importance. Before writing his thesis, he installed several firewalls into his calculator to prevent Feng Luoyi's sight. And he also used his power to spread the surroundings, and the digital method is also a nemesis for the calculator to simulate spiritual knowledge. Feng Luoyi couldn't know all this.
If you insist on saying ... maybe ... maybe because of some "ideas" that he showed before?
Wang Qi was puzzled. He quickly finished the paper with his calculator ring, and then put the manuscript paper in his storage bag and sealed it with a strong horizontal repair to ensure that it would not be opened by anyone.
Chen Youjia is here. Let her see, it's really dangerous.
With a little pressure and excitement, Wang Qi once again sneaked into the fantasy world of Wan Xian.
Feng Luoyi has long been waiting for Wang Qi in a fantasy. This is still a library. Feng Luoyi and Wang Qi sat opposite each other. With a touch of anger on his face, the old man scolded: "Wang Qi ... What are you thinking of recently?"
"I am trying to describe mathematics in plain language recently. This process is suitable for promotion because it does not involve too complicated mathematics." Wang Qigong said respectfully: "I am going to print it as The book is promoted all over the world, spreading my way of ten thousand methods, so that all people in the world can know the truth of my ten thousand methods and let more people join them. "
Popular science is also a good way to gain fame.
Hawking is the best example. This is also one of Wang Qi's plans, but only a long-term plan.
Feng Luoyi accepted Wang Qi's statement, but said coldly: "You have this thought, which is very good. But don't you think that some of the" reasons "you want to promote are really too presumptuous?"
Wang Qi was confused, "What do you say, teacher?"
"'The number itself is something that transcends our thinking.' 'Logically we cannot deny the possibility of one plus one equaling three.' No one is worried about the problem of one plus one equaling three. 'Feng Luoyi stared at Wang Qi : "What do you want to say? You mean, shouldn't you say that everyone relies on the sense of super-logic to complete the initial accumulation of mathematics?"
"I just demonstrated the possibility." Wang Qi still maintained a low profile: "In fact, before the operator has proved the completeness of set theory, we can only say 'possible'. We really cannot deny the proof from a logical level. The possibility of 'one plus one equals three'. As for the other two, I am just stating the facts. "
Feng Luoyi was helpless: "When did you fall to Lianzong of Shujun?"
"The disciples have never favored Lianzong, who counts Jun." Wang Qigong said respectfully. Perhaps in terms of "completeness", Lizong's thoughts are completely defeated, but Lizong's research ideas and working methods are both desirable. At least Wang Qi thinks so.
"But your idea is already a little dangerous."
Wang Qi said respectfully: "Because from the perspective of the disciples, the existing logic is really unreliable."
"Not reliable?" Feng Luoyi smiled. Wang Qi felt that a large number of aggressive data streams were used to almost overwhelm him.
"You talk about it, why is it unreliable? What is unreliable?"
"In the existing system, can you find something that it cannot explain?"
Wang Qidao: "It's just existing."
"Can you still see what is not available now? Do you create a new branch of mathematics yourself and prove that it cannot be axiomatized?"
"No, teacher." Wang Qi shook his head: "I did not start a branch, but calculated the future."
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.