I really don't want to lie down and win

"I'm not!" Xu Mang shook his head hastily, "My name is Xu Yang!"

"you..."

"Aren't you Xu Mang?" The student asked suspiciously, "Why do you have a face like Xu Mang's who deserves to be punched?"

I...

You guys are too much!

Hearing this student's words, Xu Mang almost lost his temper. This young man actually had such severe cataracts. He obviously had a beautiful face, but in his eyes, he deserved a beating. Face, I'm afraid it's not an advanced stage of cataract, right?

"You'd better go see an ophthalmologist." Xu Mang said seriously, "I'm afraid you'll be blind tomorrow!"

words fell,

The student shouted excitedly: "You are Xu Mang! There is no one more cheap than you in the world with your cheap energy!"

Xu Mang?

He is Xu Mang?

By the way, who is Xu Mang?

Most of the people didn't know Xu Mang. After all, Xu Mang had only made some achievements in materials science and physics, but he had never made any achievements in the field of mathematics. Beijing and Zhejiang Province.

And the capital city is quite special, because the experimental site of the material science database is chosen in the capital city and Shanghai, and the colleges and universities in the capital city have more or less heard of Xu Mang.

Others... sorry, I really don't know!

"Student, how did you calculate the password once?"

"What theory is used?"

"Is it a coincidence?"

moment,

Xu Mang was surrounded by a group of people, and he was a little confused at this moment.

"Uh..."

"Actually, I didn't think about the probability of passwords with mathematical thinking." Xu Mang said cautiously, "I used behavioral logic in psychology to think about the possibility of passwords, which has nothing to do with mathematics."

"Excuse me..."

"I cheated." Xu Mang said embarrassingly: "In the face of such possible situations, no matter how you calculate objectively, the final answer is the same, unless subjective consciousness is added."

"And I gave up objectivity and chose subjectivity." Xu Mang said, "Consider the problem from the logical behavior of people, add a little deduction of my own, and finally come up with a correct password."

at this time,

A teacher leading the team asked: "I have also considered subjectivity, but I need a reference condition, and this locker only has the password, and I don't know any other information. How can I find a valuable subjective consciousness?"

This is everyone's doubts. There is a lack of a reference, and thus a condition.

Xu Mang smiled, and said silently: "You may not have noticed the wear on the password keys, I just made an inference based on the wear and tear."

Wear condition?

Not to mention,

If you look closely, it's actually a little dark.

but,

You can't find it unless you look closely. How did he see it?

"That's not right!"

"You haven't been close to the password cabinet before, how did you find this problem?" A certain student said, "I couldn't even find it when I was standing so close."

"Because you are a top student!"

"And I used to be a scumbag!" Xu Mang suddenly felt a long-lost pride in being a scumbag.

slacker student,

Possessing an innate special ability, their eyesight is very good. With a gap of one meter, the students can use the opportunity of a glance to perfectly copy the answers on the examination papers of nearby students.

indeed,

You can't find it unless you look carefully, but with nearly ten years of experience, Xu Mang can accurately distinguish the color difference of the paint on the buttons.

have to say,

Sometimes learning scumbag experience is quite useful.

only...

The people present were a little confused by Xu Mang's answer. Can this scumbag be related to eyesight?

After this,

This group of extremely boring mathematicians, including Xu Mang, started a heated debate on whether mathematics can achieve perfect axiom deduction and whether it can guarantee that there are no internal contradictions.

Mathematics currently has the limitation of axiomaticization, and some procedures of mathematical proofs cannot be confirmed to be consistent with the procedures of formal axioms.

In the case of a password locker,

It is impossible to obtain a perfect answer with pure mathematics, but a perfect solution can be obtained by relying on human subjective thinking, but this solution cannot be expressed in mathematics.

therefore,

This group of boring mathematicians formed two sides. One way thinks that mathematics cannot achieve perfect axiom deduction, and some problems must have internal contradictions, while the other thinks that mathematics will definitely achieve perfect axiom deduction in the future, and there is no contradiction.

The two sides began to compete with each other, and there was even the possibility of fighting.

Finally Xu Mang stood up.

In his philosophy, it is impossible for human wisdom to be replaced by a complete formula. For example, he used behavioral psychology to crack the password cabinet. There is no formula to express it.

therefore,

For formal systems, it can be proved that it can be realized mechanically, but it needs further thinking to consider.

Provable propositions must be true, but true propositions are not necessarily provable.

It's a pity...Xu Mang's remarks didn't have any effect. Instead, the conflict between the two sides spread further, and they almost didn't really fight...