Chapter 319: Gödel's complete theorem 【Plus four】

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!
The breakthrough belonging to Wang Qi began.
"For the simplest first-order predicate logic ..."
Wang Qi's mana seemed to have sensed the upcoming breakthrough, and he was all agitated.
One hole after another was washed away, and new yin and yang lines were generated in batches.
"Perform logical calculation ..."
When Wang Qi wrote this sentence, all the yin and yang lines in his body began to run at full capacity.
"... can prove all logically valid formulas ..."
Wang Qi's hand holding the pen turned white due to excessive force, and his black eyes became deep.
An answer is forthcoming.
"therefore……"
When Wang Qi dropped his pen, all the yin and yang in his body shattered instantly, and his explosive mana swelled his body instantly.
However, the teenager did not feel it. Or he felt it, but ignored it.
I know! I know!
He vaguely felt that the next thing to be written would be his greatest glory in his life.
"It can be considered that the first-order predicate calculus is complete."
At this moment, Yao Dingsuan had been running crazy, and Yin-Yang Yao began to re-condense in Zhu Da Acupuncture, but the number was doubled than before!
Wang Qi couldn't care about checking the condition inside the body, because he was already caught in great joy.
"Wow ha ha ha I know! I know!"
A finger tapped twice on his desk: "Can you explain first, what do you know?"
Wang Qi was a little strange when he saw Chen Feng: "Dong Family? How did you catch Wan Fa Men? We said tomorrow ... ah!"
With that, Wang Qi actually screamed.
"I'm going to you ..." Chen Feng had a pain in his ear and said helplessly: "You also know that you have made an appointment."
Wang Qi suddenly caught Chen Feng's shoulder. The great asked: "To be honest, how many days have I been cool?"
Chen Feng was confused: "A few days? I found you here after a good day. If you don't come for a few days, I may have to change clothes to arrest you."
"One day?" Wang Qi tranced: "What time is it now?"
"Xu Shi ..."
its not right? Only one day? Is this unscientific?
Wang Qi grabbed the top draft on the table-the one he just finished writing and asked, "Is this really written by me?"
Chen Feng's face changed: "Did you get caught in the devil's head and hurt ?: Would you like me to check it for you?"
"You tell me first!" Wang Qi's voice became more and more anxious: "You also saw the old man, tell me, right?"
Zhen Jiezi said: "Yes, it is indeed you who wrote it."
Chen Feng wondered: "You don't remember what you wrote? This is what you just wrote."
Another "old man" Liu Yunxiang also came in: "I saw it written by you. Boy, what are you writing?"
Wang Qi seemed to have been exhausted, and fell to the ground, saying, "This is unrealistic ..."
All the people in Wanfamen station were awakened. Everyone came around in curiosity. Seeing Wang Qi's sorrowful appearance, Li Yue, who had previously suffered a loss, was very unhappy: "Pretend to be a ghost."
Wang Qi suddenly twitched: "Sorry everyone, can I go out for a rest? I need to be alone."
Liu Yunxiang wanted to take a look at Wang Qi ’s paper, but Wang Qi held down the paper: "I'm sorry ... now this can't be shown to anyone ... Uncle Liu, please go out, I really need to be alone."
Wang Qi's words made some disciples of Wan Famen change their colors slightly, and Li Yue even said angrily: "Dare you be rude to Uncle Liu?"
Liu Yunxiang stopped the accusations of Wan Famen disciples and said, "Let's go out and wait."
Chen Feng came out with a group of disciples of Falun Dafa. As for Wang Qi ’s anomaly, everyone talked about it.
Mo Zhenzhen sighed: "In the original legend, the rumors that a genius can rise up by writing a thesis are true."
The exclamation of the people around was slightly envious.
"That is, it turns out that Brother Wang was actually ..."
"He must not be an outside disciple ..."
Hearing the surrounding discussion, Li Yue, who has fallen below Wang Qi ’s favorability, hummed:
It ’s true to write a paper and revise it for this matter, but it ’s not that simple. The reason why Xiuwei grows is because of thinking The process of driving the soul, as long as you really think, even if the thinking is wrong, you can grow and cultivate. "
Someone asked curiously: "What happens to the wrong conclusion?"
Huangfu said with a deep voice: "It will deviate from the Fa-rectification. If you insist on mistakes, you will even have a hard time returning. Under normal circumstances, don't try it easily."
Some disciples who have a close relationship with Wang Qi nervously asked Liu Yunxiang: "Uncle Master, should Brother Wang's conclusion be correct?"
Liu Yunxiang shook his head completely: "This ... I don't know?"
This conclusion is very correct, and Wang Qi is very confident about it.
Because this conclusion was not drawn by himself, but by a mathematician on earth.
Gödel's completeness theorem.
Compared with Gödel's incompleteness theorem, this theorem is not well known. It originated from Kurt Gödel's doctoral thesis. It proves that in the formal system, the first-order arithmetic words are complete, and all logically valid formulas in the first-order logic calculus are provable.
However, first-order predicate calculus is a relatively weak mathematical system. If it is only applied, even natural numbers cannot be defined, let alone arithmetic.
For the Hilbert plan, Gödel's complete theorem is a major breakthrough, but it is far from the one-size-fits-all effect of the incomplete theorem. Moreover, the complete theorem is just a step further on the basis of Von Neumann along the lines of Hilbert, rather than a genius leap like the incomplete theorem.
but……
"This is really unscientific speed." Wang Qi murmured to himself.
For a god-level mathematician like Gödel, this paper may be just a doctoral thesis, but most mathematicians in the world can't write such a paper.
In other words, ordinary mathematicians may not understand it.
"Although I know the general idea and the conclusion in advance, but ... I actually launched it in one day?"
Wang Qi was stunned.
Knowing the general idea and conclusion does not mean that there is no difficulty at all. This is equivalent to everyone looking for treasure on a new map. Ordinary people don't know if there is any treasure, Wang Qi knew it at the beginning, and saw a signpost.
But the specific way still needs him to find himself
At first, he didn't even expect to push out Gödel's complete theorem in one go. Instead, he followed von Neumann's idea to find another special subsystem of the arithmetic system to prove it.
"My level is so high?"
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.