Vol 3 Chapter 818: Fame, meeting
-
Into the Immortal Cultivation
- I am not alone
- 1744 characters
- 2021-03-02 03:52:34
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!
Wang Qi was not surprised that Turing was the first to stand up.
Because, on the earth, the scholar who wrote "On Computable Numbers and Their Application to Judgment Problems" is named Alan Turing, the Turing real human peer.
Wang Qi believes that even if he does not publish this paper, then this monk will release a similar paper after three or five years.
Of course, Wang Qi does not feel that he is plagiarism in this way-in fact, it is difficult to define this situation. Although there are certain similarities in the history of the two worlds, the Turing real is not that Alan Turing after all. In the history of this world, Turing humans did not inspire inspiration to solve this critical problem.
Moreover, as a physicist, Wang Qi was not bored enough to memorize undecidable papers. That paper was independently deduced by Wang Qi, and most of them were original content of Wang Qi.
But even so, Wang Qi still respects Turing real people: "Don't dare to be. If there were no me, real people would be able to find this important truth in another three or five years.
Turing waved his hand: "This may not be necessary. I do have a little thought about this, but my human nature is loose, either spending time in the illusion of immortality, or fooling around in hibiscus, but not as much in concentration Dao friends. For me, you have saved me years of hard work! And this is undecidable. Many logical problems in Wanxian Fantasy can be solved. Give me another year ... In less than half a year, I can make Wanxian Fantasy Realm a new generation! "
The calculator is always built on logic.
Incomplete and undecidable are all major breakthroughs in the field of arithmetic logic.
How could such a breakthrough fail to drive the development of the calculator?
What does the development of the calculator mean? A comprehensive upgrade of Wanxian Fantasy!
Wanxian Fantasy is one of Xianmeng's biggest reliance. It can be said that if the Daxianmeng is able to operate to a certain extent, these tens of thousands of illusions are indispensable.
It can be said that this is definitely one of the most practical theories in recent decades.
It may even open an era!
Shujun's expression was a bit sad. He felt that he had just said that Wang Qi's theory was useless, and as a result people on the other side praised it, which really did not give him face. However, he is also very interested in the calculator. Anyway, no one dared to laugh here because he was not ashamed, so he simply crossed the crowd and directly discussed with Turing.
He is not ignorant of set theory, but is opposed to using set theory as the foundation of arithmetic, and hates making set theory a word game. He still likes calculators.
And more people cast their eyes on Wang Qi.
"Pappa."
After the first applause sounded, there were only the second and third ... more and more monks of Xiaoyao started applauding. The sparse applause gradually joined together.
As Feng Luoyi said, regardless of whether they admit it or not, the history of mathematics has turned a new page.
It's as if their will could not determine whether the sun came out of the east.
Mathematics has entered a new era.
An era similar to entanglement in the field of physics.
Amidst applause from the past, Wang Qi walked back to his seat. At this time, he heard the voice of Feng Luoyi.
"Good job."
Other than that, there is no other words. Feng Luoyi is really not very talkative.
Wang Qi nodded and took some shaking hands.
At this time, he was speechless with excitement.
The conclusion of the paper is indeed not his. However, the process was independently obtained by Wang Qi, and his inspiration was his own. how to say? This paper is not his biological son, at least it should be considered a son?
Although he has long known the historical status of the undecidability theorem, is there any reason why he is not excited?
Even if it is just a "witness", it is worth three days of fanatical singing!
"I didn't expect that you can do this step. The second question, the tenth question ... Now no one in Wanfamen doubts that you can't break through the sky, and Nirvana can't fail you. Now, everyone guesses wisely, how long you need to be enlightened. "
"Teacher absurd ..."
"This is not to praise you." Feng Luoyi shook his head and smiled: "After this small meeting, you will be the first person in the logic of the well-deserved, no one among your peers will be stronger than you. Even in the "predecessors", I am afraid that few people can be called superiors in front of you-of course, this cannot be your reason for contempt for seniors! "
"Yes." Wang Qi nodded and fainted.
"In the future, if you have any plan, you just need to hand in the plan. Just as long as it doesn't violate the principle, Xianmeng will support you. If you want to do anything, go ahead!"
This sentence brings Wang Qi back to reality. He shined his eyes-after saying so much, there was finally something substantial.
"So ... are we going to ban Tianlingling ..."
"This alone is impossible." Feng Luoyi refused: "Don't even think about it."
Wang Qi's face collapsed immediately: "I said support just now ..."
"This is not a trivial matter. You are only affirmed by my Falun Dafa, but that thing is mainly attributed to Tianlingling." Feng Luoyi coughed twice: "However, don't worry about the practice Problem. As long as you can go through the normal procedure, someone will naturally help you spread the practice. Xianmeng will also open a special project team for research. "
Wang Qi breathed a sigh of relief. The practice of digitization is related to his path to the soul. Wang Qi cannot but care about this dimension.
And because the practice of digitalization is a road opened by Wang Qi, with the improvement of this practice, various experiments are inevitable.
Feng Luoyi's sentence is equivalent to lifting Wang Qi's worries.
"Okay, if there is nothing wrong, you can leave." Feng Luoyi realized that this meeting had already been divorced.
They came to discuss how to save the fortune teller's life, not to listen to Wang Qi's report.
But now ... the life of the fortune-teller seems to be a little bigger.
If Wang Qi's incompleteness is equivalent to pouring a dose of Hedinghong to the master, it is undecidable to add another two pounds of arsenic. The ambitious career proposed by the operator earlier in the year, and his ideal of fighting for half a life, have been completely destroyed by Wang Qi's two algorithms.
Wanting this, Feng Luoyi felt his head hurt another three points.
But who makes them all mathematicians? Faced with such reasonableness, do they have the reason to not listen?
Thinking of this, he added with a bitter smile: "Today's things must be kept secret, not to anyone. Until I allow it. Do you understand?"
Wang Qi nodded, looking sincerely.
Somehow, let Feng Luoyi feel more at ease.
Wang Qi does not know what Feng Luoyi is thinking about now. He stood up, thinking that many predecessors had sue, and then left this illusion.
The sound of discussion in the illusion is still intense. Even the most core supporters of the Geting School and the hardest supporters of the fortunetellers joined the discussion.
No one wants to fall behind.
After noticing this general change, Feng Luoyi smiled.
Then again, Wang Qi throwing
undecidable
at this time is not without merit. At least, it completely destroyed the perseverance of the opera courts, and shattered the reliance on them for decades and hundreds of years, so that they can officially break through this time.
If there is no "undecidable theorem", those monks who are free may also use the "decidual proof" as the last straw, and they will hold on to it, even hoping to find something contrary to incompleteness from it, to refute Wang Qi.
Of course, this is just possible. The geniuses Feng Fengyi and Turing Real, who were the first to get rid of past obstacles, actually vaguely judged the result of the decisive proof. If Wang Qi did not publish the undecidability theorem today, they will have a chance to make it over time.
However, the "struggle" of these carefree monks will only make Feng Luoyi feel troubled, thinking that there are many things that are not easy to display, and may also give the fortune teller a glimpse of the clues.
Now Wang Qi's face is not left to them, just right.
Thinking of this, Feng Luoyi made a noise and stopped the discussion of many monks, saying, "You guys, stop for a while. Let's go back to our theme."
In addition to Shujun, many Xiaoyao monks have automatically stopped the discussion. Originally, Shujun Pang Jialai did not care about Feng Luoyi. It's just that the real Turing who was discussing with him has stopped the topic, and he can't speak alone, so he has to stop.
Feng Luoyi looked around and said seriously: "Which other Taoist has doubts about incomplete and undecidable theories?"
Even Aikeman's most thoroughly thoughtful Lizong shook his head and said, "Shocked Wizards, I've taken it."
"So, do you have no objection to my previous opinion?"
Feng Luoyi's original suggestion was to gradually change the thinking of the entire Geping School through them, the core monks of the Geting School, to create an environment of thinking and guide the fortune-teller in a certain direction.
This "environment of thinking" is best to allow all Geting monks to follow the path drawn by Wang Qi a few years ago and prove some axiom systems through methods such as over-limit induction Completeness allows the operator to see the hope and let him understand that even if mathematics is incomplete, there is still completeness in the axiom system.
In this way, the impact on him is smaller.
Originally, Feng Luoyi was also worried that the Geting monks were reckless and unwilling to accept this idea. However, Wang Qi's second paper dismissed this possibility.
"After talking about the fortune teller, let's talk about Xianmeng again." After agreeing on the incomplete and undecidable things, Feng Luoyi's tone suddenly changed: "You, the fifty Three Fairy Immortals were confirmed. "
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.