Chapter 173: Fame, Meeting
Wang Qi was not surprised that Turing was the first to stand up.
Because, on Earth, the scholar who wrote "On Computable Numbers and Their Applications to Judgment Problems" is called Alan Turing, the isotope of the Turing man.
Wang Qi believed that even if he did not publish this paper, the monk would publish a similar paper three or five years later.
Of course, Wang Qi doesn't feel that he is plagiarizing – in fact, it is difficult to define such a situation. Although there are certain similarities in the history of the two worlds, the real Turing is not the Alan Turing after all. In the history of this world, no Turing people have had the inspiration to solve this judgmental problem.
Moreover, Wang Qi, as a physicist in his previous life, was not so bored as to memorize the undecidability papers. That paper was independently deduced by Wang Qi himself, and most of it was Wang Qi's own original content.
But even so, Wang Qi still saluted the Turing real person respectfully: "Don't dare to be." If it weren't for me, the real person would be able to find this truth in another three or five years.
Turing waved his hand: "Not necessarily. I do have a little idea about this, but I am a loose person, either spending time in the Ten Thousand Immortals Fantasy Realm, or hanging out in Fusang, and I am not as good as many Taoist friends in terms of concentration. For me, you have saved me years of hard work! And this is undecidable, and many of the logical problems in the Ten Thousand Immortals Fantasy Realm can be solved bypass. Give me another year...... In less than half a year, I will be able to make the Ten Thousand Immortals Fantasy Realm a new generation!"
Calculators are always based on logic.
Incomplete and undecidable are all major breakthroughs in the field of arithmetic logic.
How can such a breakthrough not lead to the development of calculators?
And what does the development of the calculator mean?
Fantasy of Ten Thousand Immortals. It is one of the biggest reliance of the Immortal Alliance at present. It can be said that if the Great Immortal Alliance can operate to a certain extent, this Ten Thousand Immortal Fantasy Realm is indispensable.
Arguably, this is definitely one of the most practical theories in recent decades.
It may even open an era!
Sumjun's expression was a little stupid. He felt that what he had just said about Wang Qi's theory was useless. As a result, the people here praised him loudly, which was really shameless for him. It's just that he's also interested in calculators. Anyway, no one dared to laugh at him here, so he simply crossed the crowd and went directly to the Turing real person to discuss.
It's not that he doesn't understand set theory, but he opposes set theory as the foundation of arithmetic, and hates making set theory a play on words. For calculators, he still likes them very much.
And more people cast their eyes on Wang Qi.
"Bang bang. ”
After the first round of applause. There is only the second and third way...... More and more monks began to applaud. The sparse applause gradually joined in.
As Feng Luoyi said, whether they admit it or not, the history of arithmetic has turned a new page.
It's like their will can't decide whether the sun comes out of the east or not.
Arithmetic has entered a new era.
An era similar to the ethereal ways of physics.
In the applause of the crowd, Wang Qi walked back to his seat. At this time, he heard Feng Luoyi's transmission.
"Well done. ”
There is nothing else to say. Feng Luoyi is indeed not very good at talking.
Wang Qi nodded. Hold a hand that is a little shaky.
At this time, he was so excited that he couldn't speak.
The conclusion of the thesis is really not his. But. The process was sought by him independently, and the inspiration was his own. This paper is not his biological son, at least it should be considered an adopted son, right?
Although he had known the historical status of the undecidability theorem for a long time, was there any reason why he should not be excited?
Even if it is just a "witness", it is worth singing for three days!
"I didn't expect you to do this. Questions 2 and 10...... Now there will be no doubt that you can't break through the Heavenly Pass. Nine times out of ten, the Nirvana Tribulation will not be difficult for you. Now, everyone is wisely guessing how long it will take you to become enlightened. ”
"The teacher praised ......"
"I'm not complimenting you. Feng Luoyi shook his head and smiled: "After this small meeting, you will be the first person in arithmetic and logic well-deserved, among your peers." No one is better than you. Even among the 'seniors', I'm afraid there are few who can be called superior in front of you - of course, this can't be a reason for you to despise your seniors!"
"Yes. Wang Qi nodded, still a little dizzy.
"In the future, if you have any plans, you just hand in the plan in the open. As long as it is an issue that does not violate the principle, the Immortal Alliance will support you. Do whatever you want!"
This sentence brought Wang Qi back to reality. His eyes lit up - having said all that, there was finally something substantial.
"So...... Tianlingling's ban is not ......?"
"Only this one can't be. Feng Luoyi refused: "Don't even think about it." ”
Wang Qi's face immediately fell: "I said I supported it just now......"
"It's no small feat. You have only received the affirmation of my Ten Thousand Methods Sect now, but that part of the matter is mainly under the control of Tianlingling. Feng Luoyi coughed twice: "However, you don't have to worry about any cultivation issues. As long as you are able to go through the normal process, there will naturally be someone who will help you spread the practice of the Fa. Xianmeng will also set up a special project team to conduct research. ”
Wang Qi breathed a long sigh of relief. Digitized cultivation is related to his path to the primordial spirit. Wang Qi can't help but care about this dimension.
And because the data-based cultivation method is Wang Qi's own path, with the improvement of this cultivation method, various experiments are inevitable.
Feng Luoyi's words are equivalent to relieving Wang Qi's worries.
"Okay, if there's nothing to do, you can leave. Feng Luoyi realized that this meeting had already digressed.
They were here to discuss how to save the life of the counter, not to listen to Wang Qi's report.
But now...... The danger to the Lord's life seems to be a little greater.
If Wang Qi's incompleteness is equivalent to pouring a dose of Heding Red on the master, then it is indecisable to add two catties of arsenic. The grand cause proposed by the master in the early years and the ideal he had fought for for half his life had been completely destroyed by Wang Qi's two arithmetic.
Wanting this, Feng Luoyi felt that his head hurt for three more points.
But who made them all arithmeticians? In the face of such reasoning, did they have any reason not to listen?
Thinking of this, he added with a wry smile: "Today's matter, you must keep it secret, and don't mention it to anyone." Until I gave permission. Got it?"
Wang Qi nodded, with a sincere expression.
I don't know why, but Feng Luoyi is even more uneasy.
Wang Qi didn't know what Feng Luoyi was thinking now. He stood up, thinking that many of his predecessors had sued him, and then left the illusion.
The discussion in the illusion is still intense. Even the most core supporters of the Geting faction and the most hardcore supporters of the arithmetic master joined the discussion.
No one wants to be left behind.
After noticing this general change, Feng Luoyi smiled.
- Then again, it is not without benefit that Wang Qi threw out "undecidable" at this time. At the very least, it completely destroyed the insistence of those Geting factions who had been overhauling and shattering their minds that they had relied on for decades or centuries, allowing them to make an official breakthrough.
If there is no "undecidable theorem", those carefree monks may still use the "decisive proof" as the last straw, and hold on to it, and even hope to find something contrary to the incompleteness from it to refute Wang Qi.
Of course, this is only possible. Feng Luoyi and Turing Zhenren, the first geniuses to get rid of the obstacle of knowledge in the past, actually faintly judged the results of the conclusive proof. If Wang Qi hadn't published the undecidability theorem today, they would have had a chance to do it later.
However, the "struggle" of these carefree monks will only make Feng Luoyi feel troublesome, thinking that there are many things that are not easy to perform, and it may also allow the master to peek into the clues.
Now Wang Qimian doesn't leave any thoughts to them, just right.
Thinking of this, Feng Luoyi spoke up, stopped the discussion of many carefree monks, and said, "Everyone, stop. Let's get back to our topic. ”
In addition to the counting, many carefree monks automatically stopped the discussion, originally, the counting-jun Pang Jialai did not pay attention to Feng Luoyi's meaning. It's just that the Turing real person he discussed with has stopped the topic, and he can't talk about it alone, so he has to give up.
Feng Luoyi looked around and said solemnly: "Now, which other Taoist friend has doubts about incomplete and undecidable principles?"
Even Ikeman, the most thorough detached sect in thought, shook his head and said, "Amazing genius, I'm convinced." ”
"So, you don't have any objections to my previous opinion, do you?"
Feng Luoyi's original suggestion was to use them, the core monks of the Geting Sect, to gradually change the thinking of the entire Geting Sect, create an environment for thinking, and guide the master in a certain direction.
This "environment of thinking" is best for all the free monks of the Geting School to follow the path drawn by Wang Qi a few years ago, and prove the completeness of some axiom systems through methods such as the transcendent induction method, so that the arithmetic master can see hope and let him understand that even if arithmetic is incomplete, there is still a complete axiom system that has always existed.
In this way, the impact on him is even less.
Originally, Feng Luoyi was also worried that those Geting Sect monks would be unruly and unwilling to accept this idea. However, Wang Qi's second paper can be regarded as dispelling this possibility.
"After talking about the matter of the Lord, let's talk about the matter of the Immortal Alliance. After agreeing on the incomplete and undecidable matter, Feng Luoyi's tone suddenly changed: "Everyone, the fifty-third immortal, has been confirmed. (To be continued.) )
PS: The second update, ask for a monthly pass!