There was an alchemist Alchemist in a certain sect. He once said boldly, "My alchemy skills are very superb and I am famous throughout China. I will make alchemy for all the people in the immortal way who will not make alchemy for me. I will only make alchemy for these people!" People who came to him to make alchemy. There was an endless stream of people, naturally those who couldn't make elixirs by themselves. However, one day, this alchemist Alchemist felt that his cultivation had stagnated, and he instinctively opened Pill Furnace. So, could he make elixirs for himself?
This is the famous Alchemist's Paradox. If you replace it with the low version of the non-magic plane, it will be Alchemist's Paradox. If you want a higher expression, then it has an equivalent expression - Russell paradox.
Suppose the property P(x) means "x does not belong to x". Now suppose that a class A is determined by the property P - that is to say "A={x|x?
This is a problem that logicians cannot get around: Is the whole of a thing also a part of it?
This problem causes the inconsistency of set theory.
There are many ways to circumvent this paradox. Wang Qi knows of two types: Zermelo-Frankl axiom system [ZF system] and von Neumann-Boness-Gödel [NBG system]. The former is a method of limiting the operation of sets, while the latter is to achieve the separation of sets and classes. These are the efforts, or struggles, of earth mathematicians on this issue.
"Set theory cannot be self-consistent, and Suanjun will never give up - well, I admit it, even if set theory is self-consistent, it means nothing to him. To him, this is an empty concept, a word game." Wang Qi curled up in front of the study and read Suanjun's paper again, "And to prove that set theory is complete... Am I stupid? I know that this road is incomplete, but I still want to prove it?"
Although this review paper by Suanjun is more of a provocation and a declaration, the author is one of the greatest Mathematicianss in China after all, and it still has academic value.
For Wang Qi, the greatest value of this paper is that it sorted out some of the most critical problems currently encountered in Chinese arithmetic logic.
He held a pen in his hand, but instead of writing, he turned it around with a few fingers.
With a small amount of logic, almost all arithmetic can be deduced - but in the eyes of Suanjun, this is not arithmetic at all. In this case, no matter what results Wang Qi makes, it will be regarded as a "more funny trick" by the other party.
Well, on Earth, this kind of debate can easily degenerate into endless nitpicking and personal attacks. Mathematics cannot produce an irrefutable result through experiments, and the debate is basically a quarrel in the later stages. For example, Earth's mathematical historians have very unkindly accused David Hilbert and Ruiz Brouwer of "lack of character to limit the fight to the academic field." This is the result of an overdose of ginseng cock.
"In China, everyone will probably do it in a more violent way, right?" For some reason, Wang Qi felt a little excited when he thought about the Myriad Dharma Sect Xiaoyao's battle.
The essence of this debate is actually to increase one's own confidence, and then go all out to find loopholes in the other party's other theories, undermine the other party's academic status, or do research similar to the other party's, to prove one's attainments in mathematics and comprehensively crush the other party, until one side's confidence is exhausted and they can no longer withstand the surrender, and then the other side automatically wins.
Of course, there is a slightly shameless method in the earth's academia - the young side waits for the old side to die of old age and let time "prove everything". However, in China, this trick is somewhat impractical.
"If you simply attack the other party's other theories and lower the other party's academic status... well, it's not impossible to do it, but this is just to attract hatred."
Wang Qi soon realized his huge advantage as a time traveler.
There is at least a half-century gap between the mathematics he studied and Chinese arithmetic. He does not even need to fully digest the other party's theory. He only needs to compare the other party's theory with what he has learned, and then find out the differences in details, and he can easily complete the task of "finding fault".
However, this kind of destructive work is difficult to gain academic prestige, and it is easy to attract hatred. Wang Qi also hopes that the master and Teacher Feng will stand in front and act as Ts for him, so that he can accumulate food and slowly become the king.
As for comprehensive crushing... let's forget it. Suanjun is one of the strongest Mathematicians in history, suspected to be No. 1. Comprehensive crushing is not only difficult, it is equivalent to having to independently deduce the mathematical system he has learned. According to Wang Qi's conservative estimate, when this job is completed, he will be happy.
After thinking about it for a while, Wang Qi sadly discovered that in fact, what he wanted to do basically remained the same. To do more would be to speed up the pace.
The gap between the two sides is really too big.
"However, it is precisely because of this that it is interesting!" Wang Qi stood up and moved his body, then opened the door and walked towards the library of Shenjing Station.
In his eyes, in addition to fighting spirit, there was also pure brilliance.
He has studied mathematics that far exceeds China's current system, so he knows that no matter whether he is the king or the master, whether it is School of Separation or School of Separation, he will be completely defeated in this debate, and there will be no winner.
Gödel's Incompleteness Theorems will certainly shatter the perfect and optimistic dream of the calculator, but in the future, the foundation of arithmetic will still be recast by logic.
Therefore, in this debate, winning or losing at the moment is not the focus.
When competing on the same stage with the greatest Mathematicians in the world, what kind of glory can you achieve?
Somewhere unknown to Wang Qi, a new storm is brewing.
Deep in the Myriad Dharma Sect, Suanjun threw the monograph in his hand on the ground and said with a smile, "After all these years, these winding things are still the same - Mr. Xi, are you planning to cultivate back to the ancient method over the years?"
Xiboche was so angry that his Qi-nurturing Kung Fu was no longer in place. Pang Jialai not only mocked them verbally, in fact, just now, he directly used his strong arithmetic skills to expel all the disciples around Xiboche Myriad Immortal Illusion Realm.
This is a naked declaration of war.
"Senior Pang still has the same style - just like your vulgar paper."
"Haha." Pang Jialai said with a smile, "I came here this time for one thing."
Xiboche didn't know what kind of medicine the other person was selling in his gourd, so he looked at him doubtfully.
"I won't be able to stay long when I come back this time. However, I can't let you indulge in blasphemy." Pang Jialai's eyes flashed. "So, let's make a bet?"
"What to bet on?"
"If I lose, I'll go back. If you lose, you go for me."
Mr. Hilbert and Mr. Brouwer... This is really a tragedy. Mr. Brouwer has a hot temper, speaks without thinking, and is the first to use ginseng cock. But unfortunately, after he accidentally scolded the entire German mathematics community, the good old Mr. Hilbert finally got mad and united with all the others except Einstein All other scholars working in Göttingen criticized each other. He originally thought that Mr. Brouwer would relapse soon, and then he could accept Divine Ability with satisfaction. But Mr. Brouwer was too strong-he was angry, and accused Hilbert of having a bad brain... and then... then...
This is really a tragedy.