"Do you want to join the Geting faction?" He Waier looked at Wang Qi and said very sincerely: "What I said is to join." Pen Fun Pavilion wWw. ｂiquge。 info is the kind that is very formal. ”

Wang Qi knew what He Weier was referring to. A "school" is a voluntary civil society by the official definition, and generally there are no strict rules and regulations, you just need to claim to be a scholar of a particular school, and the majority of scholars in that school have not expressed explicit opposition.

However, there is also a more formal one.

To put it bluntly, a "school" is a small circle of scholars with similar ideas, and it is an interpersonal network. If a leading figure of a school brings a person into the circle, it can be called "official".

Feng Luoyi, who was not called the "Cangsheng National Hand" at the beginning, was introduced to the Geting faction by the master.

And what He Waier said to Wang Qi is also like this.

Wang Qi grinned, but he didn't make a sound at all. After a while, he whispered, "I thought that the seniors of the Geting Sect didn't like me very much. ”

In the end, the calculator Xi Baiche still held the idea of "what if", hoping that the incomplete revealed truth would be deviated or only valid within a certain range, hoping that his original plan would still have a chance. He understood Gödel's incompleteness theorem, but he did not fully agree with it.

Even Feng Luoyi gradually separated from the Geting faction because of his support and promotion of the incomplete theorem.

Wang Qi didn't think that what theory he had recently made would make the Geting faction feel that he had to absorb him.

"What you want to do, it's very tough. He Waier said seriously: "Lian Zong is destined not to like your methods and ideas - no matter what you do. On the other hand, people who have left the sect will not like you, they will only think that you are too arrogant, but you have only been in the beginning for ten years, and you are only in the stage of knotting, and you want to do something that the teacher has not been able to accomplish...... In particular, the teacher still had to leave the Ten Thousand Laws Gate because of you. ”

"However, joining the Goting faction is different. ”

"You are a disciple of Mr. Feng, and you are close to our position. Moreover, as long as you enter the Song Garden, there will naturally be people who regard you as the inheritor of the teacher's spirit, and there will be no more people who are hostile to you. Moreover, the Geting faction was also able to suppress the reaction of those who were connected with the sect. ”

To be honest, Wang Qi is a little tempted.

Joining the Geting School is an "honor" in itself for an arithmetic.

Moreover, joining the Geting faction can indeed save him a lot of effort. The Reckoner is the kind of charismatic leader who can bring many people around him. If he gets the connections left by this strong man who is full of peach and plums, Wang Qi will undoubtedly be much more convenient to do things.

At least, he doesn't have to find a few random people who can do research together, as he is now, to mobilize public opinion, make a storm in the city, and then screen out the people he agrees with over and over again through long sermons.

If it is the Geting faction, it is estimated that it only takes a few high-level monks to say a word, and naturally many people will come to the door by themselves.

But Wang Qi finally shook his head: "I'm sorry, senior." I appreciate your kindness, but I'm afraid I can't agree to this invitation. ”

"Why?" He Waier didn't look surprised, he just had some thoughts about wanting to know Wang Qi.

"I just think that the Geting faction is not very suitable for me?"

"If you're worried about algebraic topology and no one is talking to you, you don't have to. Although the geometry and topology issues are considered to be the domain of the Lian Sect, in fact, we have done a good job of the Geting School. My fellow student Ai Ruoche is an authority in this field, and my teacher's "The Foundations of Geometry" is also an important work in this field. Going back further, Ke Lanyin, the son of the clouds, is also an amazing ......"

In the stereotype of monks of other sects, it is already common sense that the partial geometric topology of the sect and the logic of the partial number theory of the sect are already common. But in fact, no matter how extreme Lian Zong is, he will not completely understand set theory - in fact, even if he is a master of this way, he also thinks that set theory is a very useful tool under normal circumstances. Lian Zong simply refuses to consider set theory as the basis of arithmetic, nothing more.

And it is impossible to completely ignore geometry and topology. The very important tool in the Pan-Celestial Transformation Method [Functional Analysis] is the masterpiece of the sect, and the master of the calculation has studied geometry.

It's just that many of the concepts of the arithmetic master in geometry have been scorned by Lian Zong.

Wang Qi still shook his head: "No, it's not the reason for this - I just think that if you enter the Geting Sect, you may be constrained everywhere." ”

"Restraining ......" He Waier smiled: "Now with your talent, who can restrain you?"

"If there are voices everywhere that don't quite agree with my concept during the discussion, how can it not be a constraint?" Wang Qi shook his head: "You should also feel that I have borrowed from the thinking of the arithmetic, but it is not the same way to be with the arithmetic." As for the Geting faction, almost all of them are students of the master. ”

It was when he was compiling the "Geometric Foundations" that he came up with the ideal goals of "axiomatization" and "formalization" and "completeness", "compatibility" and "decidability".

What Wang Qi is doing now is very similar to the original master, so He Waier can also see the difference between the two.

Wang Qi simply ignored the original goal of the calculator. In other words, he no longer thinks that by proving any special proposition, he can find the general laws of the entire arithmetic system. He is using a slow method to reveal the overall structure of mathematics little by little

It's different after all.

On Earth, there have been scientists who lamented that a new scientific truth triumphs not by convincing its opponents and seeing the light of the truth, but by the fact that these opponents eventually die and a new generation that is familiar with it grows up.

And in this world where "opponents" do not die, this is difficult.

Only truly irrefutable facts will make those former "opponents" change their opinions.

However, in the speculative field of arithmetic, "irrefutable" facts may be easy to obtain, or they may be difficult to obtain.

He Waier didn't say anything more, he already understood Wang Qi's thoughts.

"You've got a big heart. He smiled, and then sat down, sat down on a rock, and looked to the west. The sun had already set, and only a little bit of red light had crossed the horizon due to the refraction of the atmosphere. They struggled to crash into the clouds, staining a small patch of the western sky red.

And that's the final glow.

"Are you under pressure in the face of Counter?"

Wang Qi drew his sword and drew a circle on the ground: "This is a circle." ”

"In the absence of a definition, it doesn't hurt to call it a 'square'. He Weier's expression had relaxed and said casually.

"Even if a Yang God Pavilion monk goes crazy and changes everyone's cognition overnight, and all the races in Shenzhou call it a 'cube', they can't change its attributes. It has an infinite variety of symmetrical operations, and its symmetry group is a cyclic group, and it is impossible for the monks of the Yang God Pavilion to break its symmetry by relying on consciousness alone. In the language of the Terrans, it is nothing more than 'Yuan' -- maybe 'Maru'er', given the dialect? ”

"The human race calls it a circle, and there is also an equivalent concept in the thinking fluctuations of the dragon language, the demon language, and the sea god. These concepts, in turn, point to the same definition - the set of points in the same plane whose distance to a fixed point is equal to a fixed length. That's what it is. It doesn't matter if it's called 'round', 'square', 'wine glass' or 'woo-a-woo'. ”

Wang Qi looked at He Waier sincerely: "I always think so. Arithmetic is a system of its own. As for the 'essence of arithmetic', the thinking of our human race is not enough to define it. Not now, not in the foreseeable future. So, it doesn't matter how we look at arithmetic. In my opinion, leaving the sect and connecting the sect are just two different routes, two ways of thinking. If I really did something, as long as it was not logically wrong, as long as it was correct, it would be impossible for the Reckoning to crush it. ”

"Self-contained......" He Waier smiled: "Isn't this concept very close to Lianzong?" he had a look of reminiscence on his face, "At the beginning, I told my teacher and other fellow disciples that although you look down on Lianzong's 'feeling', don't you still rely on your feelings in the process of exploring the Great Dao? In fact, you are also the beneficiary of that thought. At that time, the teacher scolded me. That was the first time I was scolded by a teacher. It was at that time that I began to move away from my fellow sects and join the camp of Lianzong. ”

Lian Zong believes that arithmetic is an objectively existing whole. And people's "feeling" is a kind of grasp of arithmetic itself that transcends intuitive feelings.

"Maybe I'm not happy when I say that, but I don't really believe in 'feelings'. Even my own feelings were not convinced. Wang Qi said: "Even if I often follow my feelings, it is like this." ”

"Why?"

"Because, even the feeling of the master is wrong. Wang Qi sighed: "I believe in 'feeling' too much. He really believed in the existence of 'completeness', but he didn't know that arithmetic was actually incomplete. I don't think that in terms of talent and talent, I can be stronger than my predecessors. ”

"I heard Feng Luoyi say that you have a problem, that is, you still like to use some methods that are still in conjecture, thinking that you are the kind of person who prefers 'feeling'. He Waier shook his head: "Interesting." ”

Wang Qi was embarrassed.

In fact, where is he confident in his feelings?

He just knows "history".

This performance is very contradictory in the eyes of others.

However, there has never been a shortage of weirdos in Wanfamen, and He Waier didn't care. He looked at the red that was disappearing little by little in the west, and said, "Actually, I came to you for selfishness. ”

"I'm not the top of my life after all. When the teacher said that the Geting faction was entrusted to me, I was very nervous, and I felt that the Geting faction could not be smashed in my hands. Then, I heard your sermon again, so I came to find out. Then I found out that you are the spiritual successor of the teacher. ”

"You know, if you were willing to join the Geting just now, a hundred years later, that study would be yours. (To be continued.) )