After leaving Spanlich, Wang Yinan went to the Europa Center for Nuclear Research in Zurich, which is home to the largest cyclotron in the entire Blue Star and is also the center of Blue Star particle physics and high-energy physics.

Of course, in the eyes of some extreme environmentalists, this is Satan's territory, where a bunch of arrogant people set foot in the realm of the gods, and perhaps the beginning of the destruction of the world, say, a miniature black hole?

However, to a certain extent, Wang Yinan still feels that this view has some truth, after all, the proton or other heavy ions are increased by the energy of the first level of acceleration facilities, and the two particle beams that are lifted to the energy that may only exist inside the stars or even black holes in nature move towards each other, and then "boom" collide together, scientists want to see the details inside the proton through such a collision, such as whether the proton is composed of quarks, whether the proton will be crushed, and so on.

But it is likely that nature will not act as we imagined, and perhaps the collision of microscopic particles will not be broken, but will become some strange new particle, or even a ripple in space-time, or at a certain energy, one of the particles will go back to the past?

Or maybe this collision actually creates a miniature black hole, and then it keeps absorbing the matter around it, and then, uh, there's no more to the whole blue star, including you and me, of course.

This is not the first time Wang Yinan has come to CERN, that is, the Europa Nuclear Research Center, the last time before receiving the Abel Prize, Wang Yinan and Li Wenjing brushed a wave of prestige in Europa, including CERN, but this time, Wang Yinan's identity is completely different.

After all, the gap between a would-be Nobel laureate and a two-time Nobel laureate seems to be a fraction bigger than the gap between the blue star and the moon. At CERN, Wang Yinan received a warm welcome and respect that he had never had before, and the director and deputy director of the center and several senior scientists personally greeted him at the door, giving him enough face.

Let the Huaguo TV program team that followed the filming all the way also be proud for a long time.

"Director XX, how embarrassing is it for you to greet you at the door", Wang Yinan still didn't dare to hold up in front of the director of the CERN Center, a senior high-energy physicist and Nobel Prize winner in physics, so he grabbed two steps forward, held the director's hand, and said sorry again and again.

Director XX turned around and motioned for Wang Yinan to go in with him, and said, "This is as it should be, I recently carefully read your paper",

"It's not about lattice frequency, it's about high-temperature superconductivity",

"It's the paper on the G-indescribable theorem, which is really amazing insight, is there really such a limit to human intelligence, and have we already hit that wall of wisdom?" , Director XX began to chatter.

After a scientist reaches a certain level, he will become a philosopher, because the more he understands the nature of the universe, the greater the philosophical problems he faces.

"No No No", Wang Yinan hurriedly pulled him out, "not the limit of human intelligence, but the limit of formal systems, the limit of language", Wang Yinan said,

"There are always people who say that they can only understand but not speak, and maybe some wisdom is also like this, which can only be gradually isomorphic and simulated, but cannot be described in words and theories."

"Perhaps, could it be that God forbids us mortals to peer into the realm of the gods in this way?"

Okay, Wang Yinan shook his head, there is no way, scientists in places with very strong religious traditions like Europa will have such problems, didn't Newton finally start to study theology, Wang Yinan is not the same as a grassroots-born Chinese scientist, no matter how ridiculous things are, not to mention this kind of manpower problem from time to time, please, where is God, come out and give me a good one, believe it or not, Wang Yinan can fool him lame?

Compared with Spanlich's university, the average quality of the CERN Institute is not to say, this is a holy place that brings together the entire Blue Star high-energy physicists, and there is a joint working group from the Huaguo Academy of Sciences and Imperial Capital University, which is also a dozen calves, Wang Yinan met his mother's family in another country, that one is happy, and the group of people chatted endlessly.

Director XX came over to discuss with Wang Yinan, "I discussed with several top scientists, everyone is honest about lattice frequency theory, not very concerned", Wang Yinan nodded, "There is a specialization in the industry, it is no wonder, after all, high-energy physics and condensed matter physics are two completely different research directions",

"But everyone is very interested in the G-indescribable theorem, and I hope you can give a lecture on this topic and talk to everyone about it."

"Guests are as good as they are", Wang Yinan nodded, "I have no problem."

The film crew of Huaguo TV arrived early in the largest lecture hall of CERN, which can accommodate 500 people, and the hall was full of scientists, staff from CERN, as well as doctors and professors from other universities and research institutes in Europa.

Zhou Hui had nothing to do, so she stayed with the film crew, after all, they had already occupied the best position.

Looking at the cameraman from the position of the cameraman, the black-pressed blonde foreigner is still a little scary, you know, the Europa people don't like to get together, and it's still a little shocking to see so many people huddled together at once.

Because of Wang Yinan, in the eyes of the Europa, all the Chinese look a little alike, so for the Chinese people in the film crew, they have a good attitude, and they are very polite, which makes the vanity of these reporters greatly satisfied.

Director XX accompanied Wang Yinan to walk in, the scene immediately resounded with thunderous applause, raised his hand to signal everyone to be quiet, Director XX said, "We are fortunate to invite Professor Wang Yinan from China, the winner of this year's Nobel Prize in Physics and Chemistry, to give you a lecture."

After a pause of a few seconds, the director continued, "We discussed for a long time, and finally decided not to talk to you about molecular machines today, which is the result of the Nobel Prize in Chemistry, nor about lattice frequency and high-temperature superconductivity, which is the result of the Nobel Prize in Physics."

"Today I will tell you about another project that Professor Wang Yinan has completed in cooperation with the great Mr. Grothendieck, and I personally think it is a greater achievement", Director XX said to the audience, "Tell me, what is it?" ”，

"G-indescribable theorem", the audience said in unison, CERN's scientific literacy, that is not said.

"Okay, everyone must be tired of seeing me, an old man, it's time to give up the stage to young people", Director XX said with a pun, it seems that the rumors that he is going to retire are not groundless,

"Next, I would like to invite Professor Wang Yinan from Huaguo."

When Wang Yinan stood on the podium, he was still a little apprehensive, although "G-Indescribable Theorem" is a mathematical theorem, but the meaning of this theorem in philosophy and cognitive science far exceeds mathematics itself.

Shaking his head, it's useless to think about this kind of problem, pay attention to it as much as possible, "This theorem actually comes more from Mr. Grothendieck", Wang Yinan said,

"We know that formal systems are the most powerful weapons in the hands of human beings, and that the ability to abstract is one of the most powerful abilities that nature has given us",

"When primitive human beings abstracted the concepts of one and two from one stone and two stones, human beings were destined to become the masters of the entire blue star."

"The development of science and technology in the past few centuries has fully proved the strength of our abstract ability, and also proved that the formal system has a huge power of expression, so that we feel that with the use of formal systems, we can describe and solve all problems."

"I didn't expect Professor Wang Yinan to be so charming at this time", the hostess of Huaguo TV who was holding the microphone watched Wang Yinan talking on the podium, and her eyes couldn't help but pop up with little stars.

"Nonsense, my man must be the most handsome at all times", Zhou Hui on the side couldn't help but stand up and declare his sovereignty.

"Cut this paragraph", the hostess sighed, and did not forget to tell the cameraman, "The director has the final say on whether to cut it or not", and the cameraman said secretly in his heart, "I guess the director is reluctant to cut such good material."

Wang Yinan couldn't notice a dark battle in this small area of the audience, and after talking about the powerful formal system and the famous Hilbert program of the last century, Wang Yinan paused for a few seconds,

"But at the beginning of the last century, the genius Gödel changed all this by proposing a method of formal systems, proving that any formal system with sufficient expressive capacity must have propositions that cannot be proven true or false".

"Chinese mathematician Li Wenjing, who is also my partner, has developed a series of mathematical methods on the basis of Gödel's theorem, which further proves that in real formal systems, such as programming languages, some unprovable propositions can also be constructed."

Li Wenjing has published some early results of Gödel's system research before, after all, even if she does not publish, others will soon be able to come to similar conclusions, of course, although the Gödel system is produced by using these theories, but what happened in the middle makes it have the ability to far exceed expectations, until today, Wang Yinan and Li Wenjing still do not understand.

"In the formalization of lattice frequencies, Professor Jing, as well as Prof. Qiu and Tao, as well as myself, have developed some new mathematical tools that provide far more expressive skills than ever before."

"However, the stronger the ability to express, the more obvious the essential contradiction will be exposed to us",

"So the genius Mr. Grothendieck discovered from these mathematical tools that there are some intrinsic connections between expressiveness, complexity and rigorous logic, which seem to be closer to the essence of the world, and closer to the essence of thinking".

This is the first time that Wang Yinan described in detail the complete process of the "G-indescribable theorem" in the outside world, and Director XX sitting in the first row was overjoyed.

"There is an ancient saying in China, called the way of heaven, what is lost is more than enough to make up for what is lacking; The way of man, the loss is insufficient and the benefit is more than enough", Wang Yinan said,

8)