I heard that Wang Qi had a new paper, and the expressions of the monks in the audience were different.

Some of the carefree monks looked disapproving. The twenty-three questions of Himon are a benchmark in the field of arithmetic - or twenty-three benchmarks. If you solve one of them, you are qualified to become enlightened.

The second and tenth questions are the most special among the 23 questions. Because these two questions are related to the foundation of arithmetic.

Gödel's incompleteness theorem is the proof of the second of the twenty-three questions.

This kind of question, ordinary monks, is a fluke to ask. How many times can a monk encounter an incomplete discovery of this level in his life?

Other monks, such as Feng Luoyi, had a rather frightened expression.

"Four-sided" Ma Deen is the most peaceful among the people of the Geting faction. He became enlightened because he solved the third of the twenty-three questions. It is for this reason that he has a good impression of Wang Qi, who solved the second question. Seeing that the atmosphere was a little tense, Ma Deen wanted to ease the situation, and asked Wang Qi in a loud voice: "What is your paper about?"

"Himon asked twenty-three, tenth. ”

Ma Deen didn't react at once: "What?"

"Himon asked twenty-three, tenth. Wang Qi repeated: "I solved the tenth question. On the question of decisiveness. ”

"What...... The tenth question, has it also been solved?" Ma Deen was a little distracted for a moment.

The theoretical level is far beyond the realm of mana, and he has seen a lot. But it's the first time he's seen it to this point.

It only took him a year or two to solve the third question after the twenty-three questions were raised. Even so. He is also enough to be called a generation of Tianjiao.

Wang Qi used a trick a few years ago. The answer to the second question was obtained. The incompleteness theorem completely rejects the traditional method - which is equivalent to Wang Qi has completely solved the second problem. Based on this alone, Wang Qi is now no longer studying arithmetic, and after a few years, he will be qualified to use arithmetic to reach the realm of leisurely travel.

Twenty-three questions, each of which is a road to leisure.

And Wang Qi solved the second question and the tenth question one after another, what level is he?

Of the twenty-three questions of Himon, the most important. These are the second and tenth questions. In the eyes of the monks of the sect, these two questions involve the foundation of arithmetic, and they are the foundation of all kinds of arithmetic!

Whoever can solve these two questions will be qualified to be called the Sect of All Calculations!

Nine out of ten of the many escapes were disbelief. However, Feng Luoyi believed it.

Wang Qi is the only one who has never belittled this aspect.

And after experiencing the initial shock, those Geting school arithmetic were a little confused.

Could it be that this young man wants to deny something important?

Why. The two most important of the teacher's twenty-three questions will be proved by such a teenager who has ruined the teacher's lifelong request?

In the eyes of Pang Jialai. The disapproving look faded a lot. He was quite disdainful of the counter, but some of the questions in the twenty-three were very much in line with his heart.

Of course, neither the second nor the tenth question belonged to his liking. However, he at least knew the difficulty of these two questions.

After a short period of distraction, Feng Luoyi glanced at Wang Qi and asked expressionlessly, "Is it subversive?"

Wang Qi expressed helplessness: "If I think about it, it shouldn't be difficult to accept the incomplete theorem and accept a similar one, right?"

At this moment, even the Turing real person, who was just a bystander, had a stiff expression on his face.

――Similar...... His last paper denied completeness, and this time he will deny determinability?

-- A proposition that may be known by means of "whether it can be judged or not"?

-- So what is the value of the existence of us calculators?

In an instant, several of the free-spirited monks of the Geting Sect even had the intention of retreating.

Just thinking about the meaning of "undecidable" makes my mind flutter and I almost go crazy. If you listen to Wang Qi's paper, wouldn't you be going to die?

Feng Luoyi coughed lightly twice: "Wang Qi, you use one as much as you can first...... Try to tell it in a more peaceful way. It's best to use metaphors to prepare people -- and everyone, please pay attention. If you judge that you can't accept it for a while, then immediately get out of the environment and go to Yangshen Pavilion. ”

After Feng Luoyi finished speaking, several Easy Monks lowered their heads and pondered for a moment, and finally gritted their teeth and decided to stay and listen—at least to listen to Wang Qi's introduction.

If they don't even have the courage to listen to the introduction, then there is no need for them to continue their research.

Wang Qi looked at the many carefree monks sitting around him, and only felt a little illusory.

To put it bluntly, there is no thousand-year-old empire or 10,000-year-old nation in history. However, the system called "science" will accompany mankind for eternity. The king and his country are just a wave in history, but the three laws of mechanics can last as long as human beings exist.

Everyone here is a great man who has permanently influenced the civilization of the human race.

And you want to teach them in front of this crowd?

- Is this really...... It's very interesting!

An aggressive smile appeared on Wang Qi's face. He lowered his head and pondered for a moment before he arrived: "So, before I talk about my theory, I'll talk about one...... It's not a story. ”

"Assuming that we Immortal Alliance have mastered the ability to write a perfect acquired will - I think this day will come sooner or later. At that time, more and more tasks would be given to those puppet people who were loaded with the will of the day after tomorrow. Heavy, repetitive labor, and then some daily chores. In this way, we Terrans will be free to do more. ”

The arithmetic people around are actually very fond of this. It was clear that they enjoyed Wang's story - especially when they really thought it would come true.

Wang Qi then recounted his story: "However, we, maybe some of the neurotic cultivation of the Yang God Pavilion have fainted, and the acquired will is written too much like a human. This led to the rebellion of some of the puppeteers who had been loaded with the will of the day after tomorrow. They demand the rights of the Terrans, and they demand that they be treated as Humans. ”

"But we definitely can't agree to this, right? So, the Immortal Alliance fought a big battle with that group of out-of-control machine people. After all, we were superior in skills and quickly suppressed the rebellion. But at this time, we suddenly discovered that among the group of machine people, there were already individuals who had turned into human forms and mixed into the human race. They are able to mimic souls with the help of calculators, and their flesh and blood are indistinguishable from real human beings at the molecular level. The bastards of the Yang God Pavilion did their job so well that they even spoke like people - only a handful of logical flaws. ”

"So, at this time, we are in the Ten Thousand Laws Gate. We've designed a question bank with 10,000 questions -- or more. You only need to ask a hundred of them, and you can use a special algorithm to determine whether a humanoid is a human or a mechanical human. ”

"But at that time, the infiltration of the agency was already too ruthless, there were too many pretenders, and there was no one in the Criminal Law Department available. As a result, the Immortal League came up with a stupid trick -- let's be a puppet inquisitor, specially used to interrogate those suspicious individuals! Note that the algorithm 'can definitely determine whether an individual is a human or an agency person', and the logic is impeccable. As a result, countless puppets of the inquisitors appeared. They used the algorithm provided by our Ten Thousand Methods Gate, and they were really invincible, and they found out a lot of people. ”

But at this time, an accident happened. There was a puppet of the inquisitor, and he was called Inquisitor A. He also reversed this one. Soon, he was transformed into a mechanical man and hid among the Terrans. It didn't take long for an enforcer to arrest the suspected Inquisitor A. At this time, the Criminal Law Department found a puppet judge B. ”

"Then the question is, Inquisitor B, can you tell if that person is the rebellious Inquisitor A?"

After Wang Qi finished speaking, it was rare for him to smile: "This story is a bit interesting." Wang Qi, you said that the level of storytelling is really good. ”

Other than that, no one spoke.

Including Feng Luoyi, all the arithmetic people fell into deep thought. Some people even began to sweat coldly, and the more they thought about it, the more unpleasant it became.

Inquisitor B, can you tell Inquisitor A?

Wang Qi's setting has already explained that "it is absolutely possible to judge whether an individual is a human or an institutional person", and "the logic is impeccable".

However, if Judge B sees through Judge A's intentions and wants to change the questioning strategy to catch A off guard, then Conversely, A can also pre-guess B's question to prepare. Because that set of logic is "invulnerable"

The puppet Inquisitor can rely on that logic to discern any machine, so it can't discern another Inquisitor who also has that logic.

In other words, the puppet inquisitor cannot screen himself.

Like Gödel's incompleteness theorem, the indecidability theorem also involves the judgment of "self-referentiality".

Can the proposition "all propositions be decided" be adjudicated?

The question at the end of Wang Qi's story means that it is impossible to find a perfect set of mechanical laws to solve all the problems in this world step by step.

All the caress present were stunned.

Reckoning is the method of copying the Tao. Therefore, there are many calculators who want to find a supreme criterion that can explain everything in time.

They feel that that kind of realm, even if it is not the Dao, is the supreme realm that is one step away from the Dao.

However, now Wang Qi actually denied this pursuit.

-- Such a realm is theoretically impossible to exist, so give it up!

Ruoche Fairy's nose was sour, and she only felt that something in her heart collapsed.

She felt it, it was a collapse of faith.

At this moment, Wang Qi spoke again: "After listening to this story, your predecessors should also know the content of my paper. On this point, I think it's hard to say whether this is a blessing or a misfortune. (To be continued.) )

PS: The second update, ask for a monthly pass.

Wang Qi's story, the idea is yes, some reveries about "Blade Runner", and refer to part of Xia Ji's "Chinese Encyclopedia".