Enter the Immortal Cultivation

Ai Ruoche herself is a master of pure mathematics, so she knows very well what conditions are needed to complete that revenge-like idea.

I don’t know if Wang Qi himself has this awareness... In fact, Wang Qi’s past work includes part of the proof of "relative consistency". He has proved the proposition that "intuition and induction are consistent with intuition".

For the rest, they can even propose it in the opposite way of Wang Qi's previous ideas.

However, this step requires a certain understanding of "intuitionism" itself.

Due to the relationship with Yunzhongjun Ke Lanyin, the relationship between the Goting School, which represents formalistic mathematics, and the Shaoli School, which represents intuitionism, has always been very tense. There are almost no Lianzong mathematicians in the Goting School, let alone Lianzong of intuitionism.

But He Wail is an exception.

He really believes in intuitionistic mathematics, even if he respects his teacher more than anyone else. He has never repented of this, and he doesn't mind that the origin of intuitionism is the enemy of the Goting School, the mathematician Pang Jialai.

For He Wail, this is the "truth".

However, members of the Goting School can learn what they need to know through He Wail in daily discussions.

This is more convenient than reading a book.

And if this step is completed, then Wanfamen will probably suffer again.

After this proof, the doubters and opponents of the Goting School must face a problem - if they intend to doubt the reliability of set theory, they must doubt the reliability of four arithmetic operations.

For the intuitionists of the Shaoli School, it is even more terrifying. This means that the inherent deficiencies of set theory can also be reflected in intuitionistic arithmetic.

That's right, not only the Goting School, not only the Lian Sect, but also the Li Sect cannot get rid of the incomplete calculation.

If there are still mathematicians who insist that intuitionistic mathematics is reliable, then according to relative consistency, they must also admit that set theory is reliable within the known range.

For the Li Sect mathematicians, this is as uncomfortable as swallowing shit with their noses pinched.

"I'm not asking for life, but to drag you to death together."

Ai Ruoche occasionally even doubted whether the reason why He Wail took over the key to Gotingzhai was that his teacher was preparing for this day.

Of course, this suspicion is really groundless. The eldest brother and the teacher have a deep relationship, and the decision to entrust Ge Tingzhai was made before the publication of the Unsound Calculation. The master of calculation had long decided to abdicate after completing the calculation of the original calculation.

But this coincidence... is indeed depressing.

In the end, Ai Ruoche decided that it would be better to reveal the inside story bit by bit.

He Waier excitedly opened the "Original Calculation" and said, "If you can't figure it out, put it aside for the time being-Junior Sister, let's discuss the mathematics of the basic school."

Basic school...

When mentioning this name, Ai Ruoche couldn't help but think of "Wang Qi".

This is another reason for her hesitation.

- If this relative consistency is made... can the master of calculation still sit still?

The master of calculation has always focused on practical problems. He doesn't say that he doesn't care about pure mathematical principles, but he rarely debates. According to the master of calculation's past style, he may not care about a relative consistency...

However, the Dragon Emperor's comments are making a lot of noise.

What if this relative consistency becomes the reason for Suanjun to make a move?

If Suanjun thinks set theory is shit, then this time, Ge Tingzhai is smearing shit on Suanjun's face.

…………………………………………………………………………………………

The Ge Ting faction's plan to smear shit on Suanjun's face was of course secretly prepared.

They seek to achieve the greatest damage to the Lianzong monks, so they will not easily release the news before there is a clue.

However, in the past few days, Su Junyu felt that the situation was getting worse and worse.

The Lianzong monks made rapid progress on the road of "breaking the self-finger", and they have proposed several new ideas.

Each one made him feel thrilling.

Therefore, in the past few days, he just bit the pen and gritted his teeth at the Lianzong thesis in his study.

He wanted to keep up with the ideas of these Lianzong bastards.

"Cut off self-reference and infinite loops... Cut off self-reference and infinite loops..."

Su Junyu sighed: "It's obviously Li Zong's thing, why is Lian Zong so open?"

--So, what is the difference between Li Zong and Lian Zong...?

Su Junyu couldn't help but think about this question in his mind.

According to Wang Qi's current statement, Li Zong and Lian Zong are just different in their footholds.

Both sides are the result of thinking to give mathematics a "foundation".

All mathematicians instinctively look for the origin of mathematics.

The current Li Zong believes that the root of mathematics comes from a certain "structure" that exists naturally in the world, an element independent of the material world. It is self-contained, and Li Zong and Lian Zong are just climbing along two different paths.

Since Li Zong and Lian Zong are both human races, the paths they can take are also limited. The two paths will inevitably intersect.

In the current Lian Zong's view, mathematics originates from the human heart and is an existence that does not require external help. It originates from the constructive behavior of spiritual wisdom and is a kind of "poetry".

Just as poets are inspired by the scenery, mathematicians also perform constructive actions based on the objective world.

This is how mathematics came about.

The reason why the arithmetic of different living beings' cognitions is so close is because their spiritual wisdom is highly consistent. They also face the same physical world.

And He Weier's "intuition" is slightly different from Suanjun.

The current master of the Geting Sect advocates facing arithmetic with "direct knowledge".

Just like the Geting sect and the fundamental sect today are different, the Lian sect also has differences.

However, everyone's view of arithmetic is ultimately different.

So... can the difference between Li Zong and Lian Zong be ignored?

How can it be?

When Su Junyu thought of this, he wanted to laugh.

In fact, being entangled in "invention" or "discovery" itself is a kind of "sophistry" based on the vague definition of natural language. What if there was a civilization where "invention" and "discovery" were the same word?

He couldn't help but think of the methods Wang Qi used when he tested his ability to have his wishes come true underground.

It's that problem that Earth calls the "busy beaver."

Any arithmetic problem can be solved violently, but the cost of violently solving it is so terrible that it is meaningless to the human race.

Just solving a problem in number theory would require burning down the entire universe.

Under this framework, only arithmetic that may exist within that "huge set" can be understood by humans.

Just like what the God of Beauty said.

In the physical world, there seems to be no "infinite" objects. therefore,. Even "fate" is finite.

There is no point in dwelling on the concepts of "invention" and "discovery." What is really valuable is the confrontation between the core of Li Zong and Lian Zong, and the different perspectives on arithmetic.

Su Junyu felt that he suddenly had inspiration, and the tip of his pen brushed on the draft paper.

But he didn't notice his calculator which kept vibrating.

…………………………………………………………………………………………………

Zhao Qingtan felt as if he was in some kind of crisis.

He actually didn't quite understand the situation he was about to face, so he wanted to send a spiritual message to Su Junyu.

But Su Junyu said before that he wanted to track down the research of those bastards who left the sect, so he went back to Wanfamen first, and then left Zhao Qingtan in Shenjing.

Zhao Qingtan didn't think it was anything at first. However, after I actually started running according to the daily schedule given by Su Junyu, I felt uncomfortable everywhere.

Especially now.

He was about to take part in a project called "Phantom Interviews."

How does Zhao Qingtan know what a "mirage" is? The previous actions were all completed under the guidance of Su Junyu. He himself was just using what Wang Qi and Wei Cang had prepared long ago.

but now……

What is a "mirage"? How to act in this situation? Which manuscript should I use?

He sat inexplicably in a small, opaque building, and inexplicably watched some monks doing some inexplicable things. There was only a pretty woman beside him, playing with a calculator as if there was no one else around.

This can be regarded as a by-product of the human race's absorption of the Yu tribe's civilization.

Among the Yu people, "games" themselves can be classified as "arts" and are rewarded with culture.

The art form of games has inherent disadvantages in acquiring literary style, but it is better at being enjoyed by both refined and popular people, and its spread is very high.

And when the Yu people's 530,000 years of artistic accumulation met the human race's calculator technology, it was considered to have a second spring.

The originally poor game form of the human race increased several times in an instant.

This also makes things like high-end calculators occasionally appear in the hands of non-Wan Dharma disciples.

In the past, apart from Wanfa Sect disciples, not many monks would take the initiative to equip themselves with calculators.

There are even Wan Dharma disciples who rarely use calculators.

There were cases where monks from Lian Zong refused to use the calculator because "the calculator was tinkered by monks from Li Zong."

However, for such unscrupulous disciples, even the king personally came out to slap them in the face.

Nowadays, in terms of calculator theory, the status of calculator is not low.

Other monks use calculators mostly because they make communication easier.

But many monks just use a fixed large calculator.

This kind of compact high-end calculator rarely appears in the hands of monks from these ordinary sects.

Especially for... playing games.

Probably because of this calculator, Zhao Qingtan was rather fond of this ridiculously beautiful woman. However, seeing how absorbed he was in playing games, he felt embarrassed to ask.

As a result, I just sat here helpless.

At this time, a disciple at the Danjie stage finally ran over, with a smile on his face, and asked: "Is this Senior Zhao Qingtan Zhao?"