Chapter 144: The Bourbaki School
Facing Feng Luoyi's questioning, Wang Qi understood that this was an invisible test.
It's not impossible to push a qiē to inspiration and to intuition. However, inspiration is not nowhere to be found. This kind of mental activity is nothing more than the accidental expression of something in the subconscious that has a special law.
To say that you suspect that mathematics itself is incomplete and want to start elsewhere means that you have deviated from the path of the Lord. What's even stricter is that if someone comes up with Gödel's incompleteness theorem because of his own words, then he can directly eat a casual meal.
At this time, Wang Qi had a flash of inspiration and said, "Teacher, my original goal was not to prove completeness, this was just the result of unintentional insertion. What I'm actually going to do is something else. ”
Feng Luoyi was surprised: "Such a rigorous theory is actually unintentional? What is your original intention?"
Wang Qi was a little hesitant: "It's just an immature idea. ”
"Now that you've made a result, it means that the path is feasible, and even if you don't get to the point where you originally wanted to go, you can get a glimpse of the path. ”
Wang Qi "gritted his teeth" and asked, "Teacher, do you think that arithmetic is 'one arithmetic' or 'multiple arithmetic'?"
Feng Luoyi shook his head: "Different calculators have different opinions, and this is not a correct answer." ”
"When I entered the Tao, I wondered whether the increasing number of sub-disciplines of arithmetic is the process of development of an organism with a solid structure, which acquires greater and greater coherence and unity with new developments, or is the tendency of gradual division expressed by its external manifestations inherent in the nature of arithmetic?
Feng Luoyi nodded imperceptibly. Many arithmetic scholars have thought about similar problems, and every disciple of the Ten Thousand Methods Sect can also express a little bit of his own opinion. But. There are not many questions that can be asked.
As long as one area, as long as it can raise a large number of questions. It is full of vitality, and the lack of problems heralds the end or demise of independent development. This is what Lord Ximen once said, and Feng Luoyi has always thought it is true.
He asked, "So, what do you think?"
"Of course, there's only one. Wang Qi showed a confident, or arrogant smile: "There can only be one door." ”
"Say the reason, otherwise your theory doesn't make any sense. ”
Feng Luoyi calmly poured cold water on his disciple. Every year, a number of young cultivators enthusiastically come up with one wild idea after another. But it's a pity. Most of these ideas are worthless due to the lack of accumulation of the proposers themselves. There are even some little guys who don't even understand what they want to criticize, and they shout that they want to reshape the system of the present law.
Regarding Feng Luoyi's question, Wang Qi could only say speechless: "Teacher Feng." My idea is the same as the ideal of Hellon to prove that arithmetic is complete, infallible, and judgmental, but it is an idea and an ideal. But if you want me to talk about ideas, then I can say a little more. ”
Mathematics is not just a simple sum of various disciplines, the various fields of mathematics are inextricably linked, in fact, as long as the method of abstraction, formalization and axiomatization is carried out according to the idea of the master. With this method, the similarities and differences of the various structures and their complexity are clear at a glance.
The basis of the structure is the collection. The concept of a set is simple, it deals only with the simple relationship between a set, an element, and the fact that an element belongs to a set. It doesn't discuss the relationship between elements and elements, but the relationships between elements and between elements and between elements and subsets, and between subsets and subsets, which is structure. this structure. It can be a framework for mathematics. Unify it.
What Wang Qi is talking about now is actually one of the foundations of modern mathematics, the guiding principles of the Bourbaki school.
The Bourbaki School is a collective of mathematicians who have had a great influence on modern mathematics. Most of them were French mathematicians. Their activities began in the mid-30s of the 20th century, and they published a number of articles in mathematical journals and compiled a multi-volume collection of "Principia mathematica", which is one of the most important schools in the history of mathematics.
In a sense, the Bourbaki school, like the Göttingen school, is a model of the school of mathematics. The Göttingen school was "Bo". Its glory lasted for nearly two hundred years from Gauss to Weyl, covering almost the entire field of mathematics. And Bourbaki is "deep". It has almost perfectly fulfilled the task assigned to it by its time to create a new mathematics and to promote the development of mathematics as a whole.
After listening for a moment, Feng Luoyi's face showed surprise for the first time: "This idea is very good. ”
How high is his vision? Being able to get a good word from him is enough to make many disciples of the Ten Thousand Fa Sect feel that they have no regrets.
Wang Qi did not have too obvious emotional fluctuations. He knew very well that Feng Luoyi was not praising himself, but the great school behind him. He continued: "It is my ideal to bring all the arithmetic together in one house, and then my research idea is also like this, to organize the arithmetic in a structured way, and to understand the arithmetic thoroughly. The completeness rate was an accident for me. ”
"That's how it works. Feng Luoyi nodded and didn't say anything.
In this Q&A, Wang Qi reversed cause and effect. In fact, the achievements of the Bourbaki school were more or less based on Gödel, and Wang Qi claimed to have arrived at Gödel's visit according to Bourbaki's program, which is not logically unreasonable. However, Feng Luoyi still had questions: "Then why don't you use the more intuitive and credible principle of induction? Is the foundation of the overlimit method solid?"
"I'm not good enough to finish it in a short period of time, but I hope to finish at least part of it so that I can prove my path. So knowing that it was a detour, I also had to take a look at the results first. ”
Feng Luoyi was not very satisfied with Wang Qi's answer, but this was still within the acceptable range. He nodded and waved Wang Qi away.
On the other side, after watching the whole broadcast of Feng Luoyi, Xi Baiche fell silent. Then he smiled bitterly: "What an amazing genius." ”
Ikeman asked, "Then Master, these papers ......?"
"I can't imagine that I have to rely on something I don't fully agree with. He felt frustrated for a moment. But soon he regained his spirits: "However, Wang Qi's philosophy gave me some new ideas. His path is actually very close to ours, and what he can't accomplish may be completed by us. ”
Feng Luoyi objected: "But our ultimate goal is to prove the solidity of arithmetic itself. ”
"It's a good idea to axiomatize arithmetic. He pointed to the thesis of the counter: "And we are only setting aside a month to do this." A month later, we are still walking at our own pace. ”
Independent of spitting out another question: "This is Wang Qi's idea." Doing so is like taking away someone's way. ”
"I'll compensate him, in a qiē explicit or implicit way. Xi Baiche said firmly.
..................
The owner didn't know that at the same time as he made the compensation decision, Wang Qi was lying on his desk, writing hard and wailing: "It's over, it's over, it's a big death!
"Death?" Chen Youjia expressed curiosity about the word.
"It's similar to playing in the water, showing off the water, and finally drowning, which is called death. "Wang Qi is about to cry.
I just hope to be able to lead to the results of the Bourbaki school and bring the arithmetic of this world closer to my previous life...... I can't do the work of the Bourbaki School, bastard!
Analytical mathematics, probability theory, applied mathematics, computational mathematics, especially theoretical physics and dynamical system theory, this is the field I want to do...... All of these are areas that the Bourbaki school has neglected!
"Teacher Feng, Lord Ximen, please solve this problem yourself! Don't let me solve it!"
The boy prayed so. (To be continued, please search, the novel is better and updated faster!)
ps: The second update of the leader of the Xie League.
It's not the first time that this stalk of the Void Sun Rat and the Moon Palace Toad has appeared.,The origin of this stalk.,If you're interested, you can Baidu the "War of Frogs and Rats"