Into the Immortal Cultivation

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 www.wuxiaspot.com (the first letter of literature + org dot com, wuxiaspot.com) to find the way home!

Wang Qi returned to the edge of the pulpit, sat cross-legged, and closed his eyes to refresh himself.

Theoretical computer field-the most important recursion theory in the field of mathematics of computer science, the Turing machine and the Lambda algorithm, spread the whole of China on this night.

Now, they are nothing more than incomplete and undecidable footnotes. However, there are always extraordinary people who discover the mystery.

Even if the significance of the theoretical level is set aside, this gain alone will not be small.

The leap in arithmetic theory is equivalent to the leap in Wang Qixiu's method.

In the future, he will be able to use the resources of Shenzhou Suanmen to perfect his practice. This alone is worth the fare.

Not to mention the theoretical significance of incompleteness and undecidability.

He has rewritten the framework of mathematics. As long as he waits to overcome the difficulty, he will become the top calculator in China. Whether it is prestige or other, it will far surpass the self in the past.

This is an implicit benefit.

And at this time, if he promotes the Bulbaki school of thought, he can transform this "recessive" benefit into a "dominant" benefit.

The research of the Burbuck School started with pure mathematics, and finally achieved a solid foundation for the study of physics in the new century.

However, everyone can see this step like him.

More people who knew him were just worried.

Mao Zimiao covered her head, only to feel dizzy: "Meow ... Sister Ai, what is he talking about, Ozaki ..."

Ai Qinglan was also puzzled: "I don't know ... although I don't understand, I still feel so good ..."

She barely understands what Wang Qi is talking about—but does it make any sense?

At this time, Chen Feng put down his calculator and said angrily: "This madman ..."

"What's the matter? It's a good thing to have a breakthrough in theory!" Ai Qinglan was dissatisfied: "Xiaofeng, aren't you a kind of person who can't benefit from friends?"

"Benefit ... This guy Wang Qi will soon be bad." Chen Feng was a little annoyed: "Just because I didn't understand it, so I specifically asked Yu Jia ... This kid, the previous talk It ’s simply that people inside and outside are not human, and Lizong will be offended on both sides. "

"Lizong Lianzong ..." Ai Qinglan's eyes widened, and he pressed his chest: "That ... let me take it easy, think about it. If I remember well, the leaders of Lizong and Lianzong are counted separately. Lord and Shujun? Is this ... this and this?

While speaking, she reached out and tapped the virtual image in the phantom.

Chen Feng nodded: "It is the two old people sitting on the left and right sides of Wang Qi, the top is free ... Behind them, they are their doormen, adding dozens of free monks."

Ai Qinglan slapped his face: "This kid is crazy ... No, it's better to say that crazy is his style ... This is normal play ... normal play ..."

At the same time, it provokes two mainstream schools, which is equivalent to angering more than half of Wanfamen at the same time. Can this not be crazy?

Some people are puzzled: "Was ... Brother Wang's theory wrong?"

Chen Feng is a good old man, but not a fool. He sighed deeply and said, "Why did the Yunting Jun Ke Lanyin feel sad at the time when Ge Ting sent the previous leader? It was to talk to Shujun ... even if those predecessors did not plan to take such extreme means It ’s actually very simple for the mathematician to want him to be infamous. "

Mao Zimiao's heart shook slightly: "Then ... what should I do?"

"I hope he can survive the next difficulties with the help of Cangsheng Guoshou and Ji Lao monks?" Chen Feng said uncertainly.

He is well aware of Wang Qi's temperament. It is almost impossible to make Wang Qi give up his ideas. He will inevitably face the censure of the countless monks who are free.

In Wanfamen, Bo Xiaofeng clenched his fists, and Bo Xiaoya closed her eyes, too nervous to look.

Among the various places in China, more low-level disciples of Wan Famen were secretly praying and cheering for Wang Qi. They have just stepped into the field of mathematics. They have not had the persistence of their predecessors, nor have they been affected too much. They don't look at Wang Qi, they don't have the dislike of their predecessors, but they carry a kind of "big husband should be so" pride.

Within a mysterious mystery, Tai Tianzun also squeezed sweat for the young man.

Now, perhaps only Chen Youjia believes in Wang Qi.

Only she feels that even if Wang Qi is overwhelmed by the waiting attack, he will not damage his heart of bravery.

After the second sermon was completed, Feng Luoyi closed his eyes and took a deep breath, announcing: "Now, you fellows can start asking questions."

In the Geting faction, Min Kefu, the true friend of the fortune teller, stood up and asked Shen Sheng: "Can you find an unprovable statement about the arithmetic of actual existence?"

Wang Qi shook his head: "No."

It is worthy of being the top operator in this world, so quickly found the weakness of incomplete proof.

Throughout his life, Gödel did not find an unprovable statement that contained actual mathematical content. This is also the reason why there are not many followers of incomplete theorems.

The earth mathematics community has not encountered such statements in the past century.

——Actually, according to Gödel's idea, human beings will not encounter such statements for a long time. It must exist in the unknown part of mathematics, hidden in the fog.

There are many mathematicians who do not pay attention to this gadget that does not contain actual mathematical content.

Min Kefu sneered: "So, is your proof really as important as you said?"

"I just infer that there is such a statement, it does not mean that I know this statement." Wang Qi said: "This is like saying that if someone is dead, it is not difficult to judge whether it is homicide or suicide. It ’s much harder. ”

"Yes, I admit that your argumentation process is indeed very strong. However, I can't see its actual meaning."

Now that Wang Qi knows the existence of this weakness, how can he not prepare? He had already prepared an answer to this question, and he was good at it: "When several middle-aged men studied conic curves, they would not know that their theory is one of the foundations of" The Arithmetic of the Avenue ". Nor would we know What will happen to this incomplete proof process in the future-when will we find an undecidable statement that contains actual arithmetic? I do n’t know, it ’s impossible to know. This problem can only be paid in time. Let time answer. "

"I also said that the incomplete study is not known, but unknown. Faced with the unknown, we will never know what we will encounter."

Wang Qi can only say so. Before the emergence of forced law, such criticism will exist.

This answer obviously cannot satisfy all opponents. One by one the top calculators stood up and refuted Wang Qi. Among these refutations, some were in the right place and some were not painful, and Wang Qi gave them back one by one.

However, Wang Qi is not completely isolated.

Suddenly, some fortune-tellers find that their words can't be uttered-they can't speak in this fantasy world! At this time, only Seeing Ling stood up, arched his hands in the square, and gently smiled: "You guys, may I have a few questions to ask?"

Only this powerful pastime for hundreds of years in the field of immersive computing can overwhelm this illusion. Even if someone is dissatisfied, they can only choose to listen well at this time.

Turing stood up and asked Wang Qi: "Wang Daoyou, I want to discuss with you the limits of the function ..."

As soon as Turing spoke, he let other people stunned.

This ... where is this Xiaoyao?

Seeing him and Feng Luoyi sitting together, shouldn't they come to help Wang Qi?

Why is the question he asks more acute than the questions most people ask?

Wang Qi smiled: "I have some new ideas recently ..."

After Wang Qi answered this question, Turing Real asked the second question immediately.

"Have you considered an axiom system with unlimited axioms?" Turing asked: "Each time a new axiom is added, the new axiom system is more powerful than the original axiom system. Every axiom system is explaining The previous axiom system. In this way, every system has always been inconsistent. In this way, we repeat countless times to add countless and infinite axioms. In this way, no matter how many axioms we use, there is always a stronger one. The axioms prove that the previous axioms are consistent and non-contradictory, so is this system impeccable? "

"I think so too. But, unfortunately, this axiom system with infinite axioms is meaningless." Wang Qidao said: "We must first be familiar with all axioms in an axiom system before we can make judgments based on this axiom system. If an axiom system has infinite axioms, we cannot know what it can state and judge ... "

The questions and answers of the two people are more and more fluent and more and more free. Gradually, the surrounding movements became smaller.

Turing real people clearly asked the various deficiencies they perceived in a more systematic way and from a deeper perspective.

Under this premise, Wang Qi is also able to answer the questions fluently. There are countless theorems derived from incompleteness, supplements to incomplete proofs, and new arithmetic techniques. It was revealed in the answer.

Min Kefu snorted, disdainfully lower than in private chat: "Double springs only ... the two of them are absolutely right. Turing is a support!"

He Waier smiled bitterly: "Even if it's a trust ... that's extraordinary. At least, I can't ask."

The question and answer between Wang Qi and Turing Real Man is to show that his theory is systematic.

The theme of preaching is determined to be incomplete and undecidable. This cannot be changed. What they are doing now is to show their standards in the Q & A session and block the lingering mouth.

Even though everyone can see, the two are singing double reeds, so what?

Now ask the question, nine out of ten is hitting the blades of others, to shame yourself!

This is the unique and unparalleled double spring in history!

Turing Real Hall turned this question and answer into his personal discussion with Wang Qi. The two were also inspired, and the discussion gradually deviated from the intended content and began to develop deeper.

At this point, there were few people who could even intervene.

Shujun Pang Jialai looked at the two people in the question and answer, shook his head, and just sneered: "This fart sounds loud, not too stinky."

On the other side, the fortune teller Hebe Che didn't say a word from beginning to end.

If you like to walk into Xiuxian, please collect it: (www.wuxiaspot.com) Entering Xiuxian's pen has the fastest literature update.