Wang Qi returned to the edge of the pulpit and sat cross-legged, closing his eyes and recuperating.

In the field of theoretical computing, the most important recursive theories in the field of mathematical foundations of computer science, the Turing machine and the Lambda algorithm, spread throughout China at the same time on this night.

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

Even putting aside the theoretical implications, this gain alone will not be small.

The leap in the theory of the calculator is equivalent to the leap in Wang Qi's cultivation.

In the future, he could use the resources of the Shenzhou Arithmetic Sect to improve his cultivation. That alone is worth the ticket price.

Not to mention the incomplete, undecidable theoretical significance.

He has rewritten the framework of arithmetic. As long as he waits to get through the difficulties, he will become the top arithmetic in China. Whether it's prestige or something else, it will far surpass its past self.

This is a hidden benefit.

And at this time, he promoted the ideas of the Bourbaki school, and he could transform this "hidden" benefit into an "explicit" benefit.

The study of the Bourbaki School, which began with pure mathematics, eventually became a solid foundation for the study of physics in the new century.

But, and was able to see this step by all as much as he did.

More people who know him well, just worried.

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

Ai Qinglan's eyes were also confused: "I don't know...... I don't understand it, but I still think it's amazing......"

She could barely understand what Wang Qi was talking about—but did it make any sense?

And this time. Tatsukaze put down his calculator. Angry: "This madman ......"

"What's the matter? It's a good thing that there is a breakthrough in theory!" Ai Qinglan was dissatisfied: "Xiaofeng, you're not the kind of person who can't see your friends benefit, right?"

"Benefits...... Wang Qi, this guy will soon be out of luck. Chen Feng was a little annoyed: "Just now because I didn't understand." So I went specifically to ask Yuka...... This kid, what he said just now, is not a person inside and outside at all, and he will offend both sides of the sect and the sect. ”

"Leaving the Sect and Connecting the Sect......" Ai Qinglan's eyes widened and pressed her chest: "That...... Let me pause and think about it. If I remember correctly, the leaders of the Lizong and the Lianzong are the lord and the king......, respectively, right? This and this, right?"

Speak at the same time. She reached out and tapped the illusion in the apparition.

Chen Feng nodded: "It's the two old men sitting on the left and right sides of Wang Qi, and they are at the top of the house...... Behind them, respectively, are their disciples, adding up to dozens of carefree monks"

Ai Qinglan slapped her face: "This kid is really crazy...... No, no, it's better to go crazy is his style...... This is a normal play...... Normal play ......"

Provoking two mainstream schools at the same time is equivalent to angering more than half of the people of the Ten Thousand Fa Sect at the same time. Can this not be crazy?

Someone was puzzled: "That...... Isn't Senior Brother Wang's theory wrong?"

Tatsukaze is a good man, but not a fool. He sighed deeply and said, "Back then, the former leader of the Geting faction, why did Yunjun Ke Lanyin lose his heart......? Even if those predecessors don't plan to take such extreme measures, then there are so many counters. If you want to ruin him, it's actually very simple. ”

Mao Zimiao's heart twitched slightly: "That...... So what to do?"

"I hope he can get through the next difficulties with the help of the two Easy Monks, the Cangsheng National Player and the Old Machine?" Chen Feng said uncertainly.

He knows Wang Qi's temperament very well. I want Wang Qi to give up his thoughts. It's almost impossible. He will inevitably face the next countless criticisms of the Wandering Monks.

In the Ten Thousand Methods Gate, Bo Xiaofeng clenched his fists, while Bo Xiaoya closed her eyes, too nervous to look.

And in all parts of Shenzhou, more low-level disciples of the Ten Thousand Methods Sect were secretly praying and cheering for Wang Qi. They have just stepped into the field of arithmetic, and they have not yet had the persistence of their predecessors, nor have they been affected too much. When they looked at Wang Qi, they did not have the disgust of their predecessors, but with a kind of pride of "a big husband should be like this".

In a mysterious secret realm, Tai Tianzun also sweated for this young man.

Now, perhaps only Chen Youjia believes in Wang Qi.

Only she felt that even if Wang Qi was overwhelmed by the waiting attack, it would not damage his heart of diligence and bravery.

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

In the midst of the Geting faction, Min Kev, the best friend of the Arithmetic Master and the "True Universe Minister", stood up and asked in a deep voice, "Have you found an unprovable statement about the arithmetic of actual existence?"

Wang Qi shook his head: "No." ”

is worthy of being the pinnacle of the arithmetic in this life, and he found the weakness of incomplete proof so quickly.

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

The earth mathematics community has not encountered such a statement for nearly a hundred years.

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

There are a lot of mathematicians who don't pay attention to this thing that doesn't contain actual math content.

Min Kev sneered: "So, is your proof really as you say, of great significance?"

"Just because I infer the existence of such a statement does not mean that I am aware of it. Wang Qi said: "It's like saying that if someone dies, it is not difficult to judge whether he killed or committed suicide, but it is much more difficult to judge who is the murderer." ”

"Yes, I admit, your argument process is indeed strong. However, I don't see what it actually means. ”

Since Wang Qi knew about the existence of this weakness, how could he not prepare? He had already prepared an answer to this question, and he was as good as a stream: "When several medieval scholars studied conic curves, they would not have known that their theory was one of the foundations of the "Arithmetic of the Great Dao". We won't know either. What will happen to this incomplete process of proof in the future -- when will we discover an undecidable statement containing actual arithmetic? It's impossible to know. This question. It can only be done in time. Let time tell. ”

"I have also said that the incompleteness of arithmetic is not in the known, but in the unknown. In the face of the unknown, we never know what we will encounter. ”

Wang Qi can only say this. Before the advent of the law of coercion, this kind of criticism would have existed.

This answer is clearly not satisfactory to all opponents. One after another, the top arithmetic stood up and refuted Wang Qi. Some of these rebuttals are right to the point. Some are not painful, and Wang Qi gave them one by one.

However, Wang Qi is not completely alone.

Suddenly, some of the arithmetic scholars found that they couldn't ask their words--they couldn't open their mouths in this immortal fantasy realm! At this time, I saw the Turing real person stand up, arch his hand in all directions, and smile gently: "Everyone, may I ask a few questions?"

Only this powerful escape, who has been immersed in the field of obscene computing for hundreds of years, can be able to press more than one in this fantasy realm. Even if some people are dissatisfied, they can only choose to listen obediently at this time.

The Turing stood up. He looked at Wang Qi and asked, "Wang Daoyou, I want to discuss with you the limit of the function......

Turing spoke. It made the others stunned.

This one...... Which side is this Xiaoyao on?

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

Why do he ask more pointed questions than most people?

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

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

"Have you ever considered an axiom system with infinite axioms?" Turing asked, "Every time a new axiom is added, the new axiom system is more powerful than the original axiom system." Each axiom system explains the previous axiom system. In other words, every system is always free of contradictions. In this way, we repeat it countless times, adding axioms that are countable and infinite. In this case, no matter how many axioms we use, there is always a stronger axiom that proves that the previous axioms are consistent and uncontradictory, so the system can be called invulnerable, right?"

"I think so too. Unfortunately, however, this system of axioms with infinite axioms is meaningless. Wang Qi said: "We must first be familiar with all the axioms in an axiom system before we can make judgments based on this axiom system. If a system of axioms has infinite axioms, it is impossible for us to know what it can state and judge ......"

The Q&A between the two people became more and more fluent and smooth. Gradually, the surrounding disturbances became smaller.

Turing real people clearly used a more systematic way and a more in-depth perspective to ask about the various deficiencies they perceived.

Under this premise, Wang Qi can also answer fluently, countless theorems derived from incomplete, supplements to incomplete proofs, and new calculator technology, all of which are shown in the question and answer between Turing real people and Wang Qi.

Min Kefu snorted, and disdainfully lowered in the private chat: "It's just a double reed...... The two of them are definitely right. Turing is a tot!"

He Waier smiled bitterly: "But even if it's a trust...... That's extraordinary, too. At least, I can't ask. ”

The Q&A between Wang Qi and Turing is to show that his theory is systematic.

The subject matter of the sermon is condemned to be incomplete and undecidable. This can't be changed. What they are doing now is to show their level in the Q&A session and block the mouth of Youyou.

Even if everyone can see that these two are singing double reeds, what about it?

Ask questions now, nine times out of ten, you will bump into someone else's blade and bring shame on yourself!

This is the only one in history, the most brilliant double reed!

Turing turned this question and answer into his personal and digging Lauren. The two of them were also inspired, and the discussion gradually detached itself from the intended content and began to develop deeper.

At this time, there are very few people who can even interject.

Pang Jialai looked at the two people in the Q&A, shook his head, and just sneered: "This fart is loud, it's not too stinky." ”

On the other side, the master Xi Baiche did not say a word from beginning to end. (To be continued.) )