Chapter 214: Gödel's Proof

"I know, I know!" Su Junyu's excited voice spread throughout the training camp. He roared wildly, so excited that he shattered the manuscript paper in front of him with mana and threw it into the air, almost like a goddess scattering flowers.

In recent days, this training camp has been lifeless. A group of accountants whose beliefs are destined to be rejected learn and communicate together, as if a group of death row inmates are huddling together to keep warm.

Su Junyu's voice was undoubtedly a huge encouragement to others.

Bo Xiaofeng's body was shocked. He knew what Su Junyu was thinking. Although there are all kinds of indications, there may have been predecessors who proved that "incomplete" - if not not, at least it negates the idea of the master.

However, when this result was really presented in front of him, he couldn't believe it.

Su Junyu's appearance also attracted the attention of others. In the past few days, his strange thoughts have been known to many people. I heard that he was thinking about "incomplete", and many people were secretly staring. Or wait to see the joke, or wait for him to succeed.

And now, he's succeeded?

More people surrounded Su Junyu. Bo Xiaofeng was the first to reluctantly say, "Su Junyu...... Congratulations...... Congratulations......"

Su Junyu waved his hand: "It's not time to congratulate." I feel like I've inadvertently found a major direction...... If it succeeds, Genshin is hopeful. ”

Another monk who knew Su Junyu asked, "Yuan Shen...... You've only been in Jindan for three or four years now, aren't you?"

"The path of the original gods. No, if I really solve this problem, maybe in addition to the Yuan Shen, even refining the Void Nirvana is an ironclad thing. Su Junyu's expression was extremely excited: "This may be the result of the carefree level!"

Everyone gasped.

Before and after the Yuanshen Tianguan made the results of the free period. Then all the way up smoothly and steadily. There are many such monks. Tai Ri Zun is a typical example. Many gifted monks who became famous at a young age were like this.

Everyone looked at Su Junyu's eyes. Immediately it was different. The results of the carefree class. It means an infinitely bright future. Even if you fail to work in this direction, it is a negation of a wrong path. And in this "negation", the monk who initiates the attack can also gain great benefits.

Moreover, what can be the results of the free class at this time, except for the second of the twenty-three questions - "proof of completeness"?

"Have you found an idea?" Gao Jiyang hurriedly asked. Although he has changed his mind, he has not yet found a way to the incomplete.

Su Junyu nodded and said, "Okay." But be warned. You can't take away this idea. ”

"Senior Brother Su, with so many people watching, I don't believe that there are still people who are really shameless. Bo Xiaoya said loudly. She was impatient for the incomplete proof, so she waited to see the proof.

Bo Xiaofeng also said: "That's it." Old Su, if someone will plagiarize your thinking, I ...... And my family will support you. ”

The "family" that Bo Xiaofeng said was the entire Bo family, including most of them as carefree monks. No one can ignore this warning.

And more people shouted: "Maybe it's something that has been proven by that senior, as for hiding it like this? Hurry up! Say it quickly!"

These disciples of the Ten Thousand Methods Sect have been looking forward to the answer to this question for a long time

Su Junyu nodded: "Okay." Then I'll talk about it. You know the continuum, right?"

"Continuum?" Gao Jiyang immediately sensed that something was wrong: "Does the second question still involve the continuum? The first question and the second question are actually two sides of the same question?"

Su Junyu was also stunned: "One question and two sides, is there such a statement?"

Forthwith. He also realized something, and said with a smile: "That...... I'm sorry everyone, but the inspiration I just asked was the first question, and it has nothing to do with the second question. ”

"The first question?" Bo Xiaofeng's eyes widened: "Aren't you thinking about the second question?

"It's just a mistake. Su Junyu laughed: "In order to deny completeness, I have been thinking about every corner of arithmetic recently, especially in the system of set theory. Then I thought about the 'axiom of sets,' and it was from that axiom that I found inspiration......"

"Stop!" Gao Jiyang stopped Su Junyu, and then drew a circle in mid-air with his fingers. The aura of heaven and earth converged into this circle along his will, turning into a mature dharma. This aura circle encircled the circle of people around Su Junyu in this way.

Gao Jiyang said in a deep voice: "We may be able to guess that the second question has been solved." However, there is no indication yet that the first question has been solved by someone else. Therefore, this idea should still belong to Senior Brother Su alone. ”

"If the surrounding brothers are still doing research in the field of the first question, and they still want to be doughy, it's best not to listen to it, otherwise, if there is a dispute in the future, everyone will not look good on the face. ”

After a while, two or three Primordial Stage Grandmasters withdrew from Gao Jiyang's circle. The function of this aura circle is to isolate internal and external induction. As long as they are out of this circle, they can't hear or see what Su Junyu talks about.

If they and Su Junyu really have similar inspirations, then it is really unreasonable. Especially Su Junyu seems to have a good relationship with the two brothers and sisters of the Bo family. If this leaves a bad impression in the eyes of the behemoth of the Bo family, it will be a big loss.

At this time, Gao Jiyang said to Su Junyu: "Senior Brother Su, you can continue." Don't say too much, though, and get to the point. ”

Su Junyu smiled and touched the back of his head: "Senior brother's heart is too much, Meng Lang is for a while, and senior brother has learned a lesson." ”

"Luckily, my field is not related to the first question, otherwise I wouldn't have wanted to hear it. Gao Jiyang smiled: "Now you just talk about it." ”

"Tell me about it!" said the crowd indignantly.

"Then I'll talk about it. First of all, I want to explain that this is just a thought and a train of thought now, and I don't have a specific process, and I don't know whether the premise theory of this process is perfect. ”

"That's what I thought. First, we need to establish a framework within which the axioms of set theory allow all the sets that exist. And then within that framework, we're going to do it again......"

Su Junyu's surroundings gradually quieted down.

"Now, I'm going to rethink the continuum. ”

After finishing the exchange of letters with Lu Xiaoqian, Wang Qi sat back at his desk and began to think about the proof of the continuum.

"First of all, it is Gödel's proof of the problem. ”

"Gödel's job is to build a huge framework that contains all the 'buildable sets' of all ZF axioms. Then, in this model, Gödel proves that the continuum hypothesis cannot be falsified within the ZF axiom system. ”

Twenty-three years after Gödel made this proof, another mathematician, Cohen, did it. This proves that within the ZF axiom system, the continuum hypothesis cannot be proven. ”

In other words, the continuum hypothesis is actually an undecidable problem. It is independent of set theory, and it does not affect anything whether it is true or not, whether you accept it or not. ”

"The famous hypothesis of the founder of set theory based on set theory is independent of set theory, which can be regarded as a deception. Wang Qi sighed slightly.

"And the method of coercion is completely different from Gödel's way of thinking. ”

The term "coercion method" is quite violent, and in fact, its idea is very close to brute force cracking. It expands the range of "buildable sets" below the minimum allowed by the ZF axiom system, and then gradually approaches that result.

Since this argument involves "creating sets that do not exist in the first place," the process of proving Cohen's method of coercion is many times more difficult than Gödel's.

And that's the most critical part. The significance of the "forced method" does not lie only in the continuum. Its emergence has made it possible for mathematicians to discover many other propositions that are independent of the ZF axiom system.

From a purely mathematical point of view, the force forcing method is even more impactful than Gödel's incompleteness theorem.

In the history of the earth, a part of mathematicians, led by Hilbert, ignored Gödel until his death. Of course, a large part of this is due to the conflict of ideas and beliefs, and they simply cannot accept Gödel's theory.

However, this is also related to Gödel's argument that it is "not mathematical enough".

In the eyes of some mathematicians, Gödel's incompleteness theorem is more of a literal statement than a mathematical process of proof.

"As long as I can pass the method of force and force, Shenzhou's arithmetic will be able to enter a new realm. ”

Wang Qi wrote hard. For a moment, all that remained in the study was the sound of the tip of the pen rubbing against the paper.

"Looking for ...... Finding a set smaller than the buildable set under the ZF axiom ......"

"Independent Axiom ......"

"Independent ......"

In Wang Qi's thoughts, the mana in his body changed slightly.

Only this time, there were no visions around him, and there were no signs of rebellion or collapse in his mana.

Everything seems to change silently. It seemed that his mana had been slightly adjusted.

Wang Qi himself didn't know what the effect of this new adjustment was. (To be continued.) )

PS: At the end of the month, ask for a monthly pass.