Vol 3 Chapter 2078: Interview with Mirage [Three more]

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!
Ai Ruoche is a member of pure mathematics, so she is very clear about the conditions required to complete the general idea of ​​revenge.
I do n’t know if Wang Qi himself has this consciousness ... In fact, Wang Qi ’s own past work includes a part of the "relative consistency" proof. He has proved the proposition that "intuition is consistent with induction".
For the rest, they can even go against Wang Qi's previous ideas.
However, this step requires some understanding of "intuitionism" itself.
Due to the relationship between Jun Kelanyin in the cloud, the Geting School represented by formalist arithmetic and the Shaoli School represented by intuitionism have always been very tight. Lian Zong.
But Hewaier was an exception.
He really believes in intuitionism, even if he respects his teacher more than anyone else. He had never repented of this, and he did not mind the beginning of intuitionism.
For He Waier, this is "truth."
But the members of the opera court can understand what they need to know through He Waier in daily discussions.
This is more convenient than reading.
And if this step is completed, then Wan Famen said that he must not suffer again.
The skeptics and opponents of the Gotting School must face a problem after this proof—if they intend to doubt the reliability of set theory, they must doubt the reliability of the four operations.
For the intuitionists of Shaoli, it is even more terrifying. This means that the insufficiency of set theory can also be reflected in intuitionistic arithmetic.
That's right, it's not just Geting School, not just Lianzong, and even Lizong can't get rid of ill-conceived.
If other mathematicians insist that intuitionistic mathematics is reliable, then according to relative consistency, they must also admit that set theory is reliable within a known range.
This is as uncomfortable as even for the sectarian to hold his nose and swallow big dung.
"I am not asking for life, but to drag you to die together."
Ai Ruoche even occasionally wondered whether the reason why He Waier took the key to Ge Tingzhai was that his teacher was preparing for this day.
Of course, this doubt is groundless. The brother-in-law and the teacher have deep feelings, and the decision to entrust Ge Ting Zhai was made well before the ill-advised advent. The operator has long decided to abdicate after completing the calculation.
But this coincidence ... does make people feel depressed.
In the end, Ai Ruoche decided that it was better to reveal the inside story a little bit.
When He Waier went, he happily opened the "Original Calculation" and said: "If you don't understand, just put it aside for a moment-Shimei, let's discuss the school of arithmetic."
Kepie ...
Mentioning this name, Ai Ruoche couldn't help but sound "Wang Qi".
This is another reason for her to stumble.
If this relative consistency is achieved ... Is Shujun still able to sit still?
Shujun always pays attention to practical problems. He does not care about pure arithmetic, but there is little controversy. According to Shujun's past practice, he might not care about a relative consistency ...
However, the Dragon Emperor's criticism is making a lot of noise.
What if this relative consistency became the reason for Jingjun Jing's thoughts?
If Shujun looks at set theory like shit, then this time, Ge Tingzhai is slushing on Shujun's face.
................................................................................................
The Geting School was preparing secretly for on Shujun's face.
They seek to achieve the greatest damage to the monks of Lianzong, so they will not easily release the news until they have eyebrows.
However, in the past few days, Su Junyu felt that the situation was getting worse and worse.
Brother Lianzong has made rapid progress on the road of "severing his own fingers", and they have already proposed several new ideas.
Each one made him feel thrilling.
Therefore, these past few days, he just bit his pen and gritted his teeth at Lianzong's thesis in his study.
He wanted to keep up with these sectarian ideas.
"Cut off self-referential and infinite loop ... Cut off self-referential and infinite loop ..."
Su Junyu sighed: "Obviously it's a departed thing, why did Lianzong do so openly?"
So, the difference between Lizong and Lianzong ... Where is it?
In Su Junyu's mind, he couldn't help thinking about this kind of problem.
According to Wang Qi's current statement, Lizong and Lianzong are just different destinations.
Both sides are the result of thinking in order to recruit a "foundation" for the academic losses.
All mathematicians are instinctively looking for the source of mathematics.
Today's Lizong believes that the root of mathematics comes from the "structure" that exists naturally in a certain world, an element independent of the material world. It has its own freedom, and Lizong and Lianzong are just climbing along two different roads.
Since Lizong and Lianzong are both human races, the roads they can take are also limited. The two roads will inevitably intersect.
In the view of Lianzong now, it is an existence that does not spoof outsiders. It originated from Linghui's constructive behavior and is a kind of "poetry".
As if the poet was indignant because of the scenery, the fortune-teller is also constructive because of this objective world.
This is how mathematics comes from.
The reason why the mathematics that different creatures recognize is so close is because their spirits have a high degree of consistency. They also face the same physical world.
And He Waier's "intuition" is slightly different from that of Suanjun.
The current priest of the Geting School advocates facing mathematics with "direct cognition".
Just as the Geting school is different from the Kipai school today, even the Sect also has differences.
However, the mathematics in everyone's eyes is different after all.
So ... Can the difference between Lizong and Lianzong be ignored?
How can it be?
Su Junyu thought of this, he wanted to laugh.
In fact, entangled in "invention" or "discovery" itself is a "sophism" based on the vagueness of the definition of natural language. What if there is a civilization where "invention" and "discovery" are the same word?
He couldn't help but think of the ground, Wang Qi used to test the means of what he wanted.
This is what the earth calls "busy beavers".
Any arithmetic problem can be violently cracked, but the cost of that violent cracking is terrible, and it is meaningless to the human race.
Simply analyzing a number theory problem requires burning the entire universe.
Under this framework, only the mathematics that may exist within the "large collection" are only possible to be understood by the human race.
Just like the beauty said.
In the physical world, there seems to be no "infinite" object. therefore,. Even "fate" is poor.
It is meaningless to be entangled in the concepts of "invention" and "discovery". What is really valuable is the confrontation between the core of Lizong Lianzong and the different perspectives of mathematics.
Su Junyu felt like he was suddenly inspired, and the nib was writing on the scratch paper.
He didn't notice the calculator that kept shaking.
...............................................................................................................
Zhao Qingtan felt like he was in a crisis.
He didn't really understand the situation he was going to face, so he wanted to send a message to Su Junyu.
However, Su Junyu said earlier that he wanted to track down the studies of the Lianzong bastards, so he first returned to Wanfamen, and then left Zhao Qingtan in Shenjing.
Zhao Qingtan didn't feel anything at first. However, after running up according to the daily watch that Su Junyu had given before, he didn't feel fit everywhere.
Especially now.
He is about to participate in a project called "mirage interview".
Where does Zhao Qingtan know what a "mirage" is. The previous actions were also completed under the guidance of Su Junyu. He himself only played against the things that Wang Qi and Wei Cang had already prepared.
but now……
What is "mirage"? How to play in this situation? Which manuscript is used?
He was sitting inexplicably in a light-tight building, somehow watching some monks busy with some inexplicable things. Only a pretty woman near her is playing with the calculator in a casual way.
This is actually a by-product of the human race receiving Yu civilization.
On the Yu people's side, things like "games" can also be classified as "arts", and they are also rewarded by style.
This art form of games has a congenital disadvantage in obtaining cultural spirit, but it wins over the appreciation of elegance and vulgarity.
And when the Yu people's art accumulation of 530,000 years, after encountering the computing technology of the human race, the second spring broke out.
The human form of the original poor game suddenly multiplied several times.
This also makes things like high-end calculators occasionally appear in the hands of non-Fan Famen disciples.
In the past, apart from the disciples of Ten Thousand Famen, not many monks would even take the initiative to configure calculators for themselves.
There are even ten thousand disciples who do not use calculators.
There used to be an example in which the monk Lian Zong refused to use it because "the calculator was created by the monk Li Zong".
However, for these undisciplined disciples, Shujun counted himself as a face blower.
Now, in terms of arithmetic theory, the status of arithmetic king is not low.
Other monks use the calculator, mostly because the calculator can facilitate communication.
But many monks also use a large fixed calculator.
This small, high-order calculator does indeed rarely appear in the hands of these ordinary martial monks.
Especially for ... playing games.
It's probably because of this calculator that Zhao Qingtan has a good impression on this woman who is not so beautiful. However, looking at how fascinating people are at playing games, he is rather embarrassed to ask.
As a result, I just sat here at a loss.
At this time, finally a disciple of the Dandan period came running with a smile on his face and asked, "Is it senior Zhao Qingtan Zhao Da?"
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.