Chapter 368: paradox

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!
There is an alchemy master in a certain sect, he once made a bold statement: "My alchemy skills are very superb and well-known in China. I will practice alchemy for all the people in Immortal Dao who do not give themselves alchemy, and I only give these people Alchemy! "The people who come to him for alchemy are endless, naturally they are all those who can't practice alchemy by themselves. However, one day, this alchemist felt that his cultivation practice was stagnant, and he instinctively opened the alchemy furnace, so, can he give himself alchemy?
This is the famous alchemist paradox. If it is replaced by the low version of the Alchemy Plane, it is the alchemy paradox. If you want a higher expression, then it has an equivalent expression-Russell's paradox.
Let property P (x) mean "x does not belong to x". Now suppose that property P determines a class A--that is, "A = {x
x? X}". Then the question is: is it true that A belongs to A? First, if A belongs to A, then A is an element of A, then A has a property P, and A knows that A does not belong to A; Secondly, if A does not belong to A, that is, A has property P, and A is owned by all It is composed of classes with property P, so A belongs to A.
This is the dilemma that logicists cannot circumvent: is the whole of a thing also a part of it?
This problem makes the set theory inconsistent.
There are also ways to circumvent this paradox, Wang Qi knew two kinds. Zemero-Frankel axiom system [ZF system] and von Neumann-Bones-Gödel [NBG system]. The former is a method of restricting the set of operations, and the latter is the separation of the set and the class. This is the effort or struggle of the earth mathematicians on this issue.
"Set theory cannot be self-consistent in one day, and Jun will not admit defeat in one day-well, I admit, even if set theory is self-consistent, it does not make any sense to him. This is an empty concept for him , Is a word game. "Wang Qi curled up in front of the study and read the paper of Shujun again:" And to prove that set theory is complete ... Am I stupid? Knowing that this road goes to black is incomplete, go Prove this? "
Although this review paper by Ban Jun is more of a kind of provocation and a kind of declaration, the author is, after all, one of the greatest fortune-tellers in China, and still has academic value.
For Wang Qi, the greatest value of this paper is still with it. It sorts out the most critical ones in the current problems encountered by Chinese arithmetic logic.
He held a pen in his hand, but did not write, but turned it up with a few fingers.
Almost all mathematics can be derived through a small amount of logic-but in the eyes of Shujun, this is not mathematics at all. In this case, no matter what achievements Wang Qi makes, the other party will be regarded as a "more funny trick".
Well, on the earth, this kind of controversy can easily fall into endless bone picking and personal attacks. Mathematics has no way of throwing out an irrefutable result through experiments, and it is basically tearing to the end of the debate. For example, Earth ’s mathematics historians are very kind to accuse David Hilbert and Ruiz Brouwer of both lacking the character to limit the battle to the academic field. This is the excessive consumption of ginseng rooster. Not compensated for the consequences.
"In Shenzhou, would you probably have done a more violent way?" Somehow, Wang Qi was faintly excited when he thought of the Wanfamen free fight.
The essence of this debate is actually to increase one's confidence, and then to find loopholes in the other party's other theories, to attack the other party's academic status, or to do research similar to the other party, to prove that his academic accomplishments completely crush the other , Until one side loses confidence and can't stand the initiative to surrender, then the other side automatically wins.
Of course, there is a slightly shameless method in the earth academia-the younger side waits for the aging side to die old, allowing time to "prove everything". Only in China, this kind of trick is not practical.
"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 simply pulling hatred."
Wang Qi soon realized that he was a huge advantage as a crossover.
The mathematics he has learned has a gap of at least half a century. He doesn't 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 the details. He can easily complete the "picking" task.
But this kind of destructive work is difficult to gain academic reputation, and it is easy to draw hatred. Wang Qi also expects the fortune teller and Mr. Feng to stand up as T in front of him, accumulate food for himself, and slowly become king.
As for full crushing ... forget it. Suanjun is one of the strongest fortune tellers in history, suspected NO.1. Comprehensive rolling is not only difficult, it is equivalent to deriving the mathematics system he has learned independently. According to Wang Qi's conservative estimate, when he finishes this job, he will be free.
After thinking about it for a while, Wang Qi found sadly that the things he had to do were basically unchanged. To do more was to speed up his steps.
The gap between the two sides is too great.
"However, that's why it's interesting!" Wang Qi stood up and moved, and then opened the door to the library of Shenjing Station.
In his eyes, in addition to the fighting intention, there was more pure glory.
He has studied mathematics far beyond the existing system of Shenzhou, so he knows that no matter whether it is a monarch or a lord, whether it is a sect or a sect, they will be defeated in this debate, and there is no winner.
Gödel's incompleteness theorem will certainly break the perfect and optimistic dream of the operator, but in the future, the foundation of arithmetic will still be recast by logic.
Therefore, in this controversy, winning or losing is not the point.
When the world's greatest calculators compete on the same stage, what kind of glory can they achieve?

Where Wang Qi does not know, a new storm is brewing.
In the depths of Wanfamen, Shujun threw his monograph on the ground and smiled: "So many years have passed, or are these crooked things-Mr. Xi, have you planned to repair the ancient method all these years?"
The operator Xi Baiche nourished Qigong and was dulled even when he was in place. Pang Jialai not only mocked them linguistically, but in fact, just now, he directly expelled all the disciples around Xi Baiche from the illusion of immortality.
This is a naked act of declaring war.
"Senior Pang still has the same demeanor-just like your crude paper."
"Hehe." Pang Jialai smiled: "I came here this time for one thing."
Hebe Che didn't know what medicine was sold in the gourd of the other party, and looked at him in doubt.
"I won't stay too long this time. But I can't let you blasphemy." Pang Jialai's eyes flashed: "So, shall we bet?"
"What bet?"
"I lose, I go back. You lose, you go for me."

Mr. Hilbert and Mr. Brouwer ... this is really a tragedy. Mr. Brouwer was so hot-tempered that he didn't speak to his brain, so he used ginseng first. But after he unfortunately inadvertently scolded the entire German mathematics world, Mr. Hilbert of the good old man finally slammed and united all scholars working in Göttingen except Einstein to point each other. He had originally thought that Mr. Brouwer would resurrect soon, and then he would be able to regain his miracle with satisfaction. But Mr. Brouwer was too hard-he was sick, and he accused Hilbert of having a broken brain ... and ... and ...
This is really a tragedy.
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.