Into the Immortal Cultivation - Chapter 2084

[Chapter 97: The Style of the History of Reiki Universe Technology [Second Update]]

Wang Qi said in desperation: “I can’t believe it, I can’t imagine it… In ordinary times, I would have such a serious barrier of perception… Really, I can’t relax for a moment…”

Wang Qi said.

How should I put it…

In the history of mathematics on Earth, the war between formalism and intuitionism was indeed fought badly.

However, the story after the fight is not so popular.

In the next paragraph, the book of the history of mathematics is the Bourbaki school, the Pope Grothendieck who mastered half of mathematics, and the Langlands program.

As for formalism and intuitionism… to be precise, it is neo-formalism and intuitionism, but there are people doing it.

But after all, it is on the edge, and it is not so dazzling in history.

Well, how to describe it…

The Department of History studies the history of the Qing Dynasty more than the history of the Nanming Dynasty, isn’t it?

In the Ming Dynasty, how “the emperor guards the gate of the country, and the king dies in the community”, Nanming is just a salted fish who has lost his ancestral foundation, and he is not even qualified to compete with deer.

If history lovers see Chongzhen here, forget it. How many people still specialize in studying the salted fish in Nanming?

That’s about it.

To be honest, the disciples of intuitionism and formalism are not without achievements in the follow-up.

For example, the following recursion theory can be regarded as a typical “achievement of Li Zong”.

But whether it is the recursive theory with obvious characteristics of Lizong or the type theory with obvious characteristics of Lianzong, they all have a common feature that they belong to a part of computer science.

In other words, it simply depends on computer science to live.

In other words, they are all wage earners under the command of computer science.

This can indeed be called miserable and miserable.

In the late years of Henri Poincaré, the intuitionism that first appeared, like the Western Zhou Dynasty, was the ruler of the world.

And the intuitionism of David Hilbert’s time, like the Eastern Zhou Dynasty, had an “orthodox” name, but no one cared about it.

If you take into account the three-party melee of formalism, intuitionism and logicism, perhaps it is more appropriate to use “Shu Han” and “Eastern Han” as a metaphor?

And further back, intuitionism becomes weaker, almost like a younger brother. This is like being a descendant of the Zhou royal family in the Warring States Period. Let’s say it, it is also an identity.

But the Bourbaki school over there has to fight for the second generation and Yu Lie to play “The King of Qin sweeps Liuhe, and the tiger looks down on him”, who cares about your mere “descendant of the Zhou royal family”?

At that time, formalism and intuitionism can only be applied.

They couldn’t get involved in the orthodox dispute involving Jiuding about “Mathematical Foundation”.

This is also the reason why Wang Qi withdrew from the Geting School. The Gothing School has an orderly inheritance. Even if He Weier was really willing to give him certain authority, he could not reverse the atmosphere of the Goting School and replicate the achievements of the Bourbaki School.

Even if the mathematician is no longer, He Weier and Ai Ruoche are quite powerful mathematicians.

He couldn’t build his influence all at once.

However, in any case, the Bourbaki school, according to the division of this world, is considered a school of sectarianism.

He absolutely did not expect that “type theory”, a typical Lianzong achievement, would be born in the hands of a member of the base faction.

Especially since this member is his wife.

“The worldview is about to be challenged…” Wang Qi covered his head: “Mom, Mom…”

Zhao Qingtan also froze: “How is this possible…”

“Yeah… How is this possible? ?”

Zhao Qingtan was stunned for a moment, and was startled: “Could it be that with a manuscript of your master, you can turn a Lizong disciple into a Lianzong disciple? It’s so dangerous?”

“This… well, when she was a child, Yujia actually I prefer the direction of application… Maybe she is the one among us who doesn’t care about the separation of Zonglianzong.” Wang Qi said.

However, Zhao Qingtan didn’t dare to read the manuscript of the sovereign. He asked Wang Qi directly, “What did Junior Sister come up with?”

Wang Qi was taken aback.

…………………………………………………………………………

In the Heavenly Palace, Ke Lanyin let go of his arm that was holding the Heavenly Sword.

He found himself sweating all over his back.

“It’s really scary…” It

was difficult for him to describe what kind of changes happened to Wang Qi at that moment. He felt that Wang Qi’s breath suddenly became like a bomb, as if it would collapse at any time.

At that time, he almost thought that the Dragon Emperor prophecy had occurred. Wang Qi is about to die.

And the mana of his celestial body demon spirit series will also leave an indelible impact on this great sun territory.

But fortunately, this feeling is only for a moment.

However, Ke Lanyin still felt a little panic.

“I can’t let an old man do this kind of work… Really, how many years have I fallen behind…” Yun Zhongjun helplessly laughed at himself.

They should make an application and ask them to send one or two more Xiaoyao over… It’s

better to be a bit stronger, otherwise they really can’t handle this junior.

……………………………………………………………………

In the history of the earth, “type theory” is an attempt to break through Gödel’s incompleteness theorem. In fact, it was somewhat successful. Gödel’s first incompleteness and second incompleteness have been broken through one after another.

However, this is only a “shallow layer”.

Gödel’s incompleteness theorem has not yet been completely broken through.

Intuitionism has always viewed “mathematics” as a constructive activity of human intelligence.

In the era of increasingly developed computers, intuitionist researchers have come up with a brand new slogan.

“Definition is construction, construction is proof, and proof is procedure”.

They intend to use the computing machines developed by the formalists to prove their mathematical theories.

To study a type-level mathematical entity requires metamathematics equal to or higher than the type.

Therefore, the study of mathematical entities involving infinite transfinites becomes meta-mathematics requiring infinite transfinites.

Intuitionism, on the other hand, does not recognize the existence of “infinite entities”.

It is as if there is no “infinite entity” in the physical world.

The most restrictive type system is without loops and self-referential.

Therefore, this system, even if it involves “infinite” problems, can still stop because it does not cause infinite logical loopbacks.

Because strongly normalized type systems are all finite final, that is, all functions can stop and give unique results.

There are no ghosts of self-referentiality and infinite loops in the halting problem.

This is an exploit for the halting problem at the expense of Turing completeness.

That is, “type theory” is an achievement in the field of basic mathematics.

And from this, is an absolutely reliable computer language.

Or “a class”.

Also known as “strongly typed” languages.

Since it is the “hardest” system, the degrees of freedom of strongly typed languages are really low. Especially the “strong specification type” among them, because of the sacrifice of Turing completeness, this language is very prone to logical contradictions. A little error can cause immediate downtime.

But the good thing is that this type of language can never go wrong.

Seriously, have you ever heard of a language that can be called “never go wrong”?

Did your indos blue screen? Has your android ever died?

That’s because the strong norm type is really not for everyone.

It is precisely because of this that strongly typed languages have not spread among code farmers. If you want to use strong canonical typing well, you must memorize and deduce the types of a lot of pointers and parameters. The program will only work if it is completely correct. If there is even one point that is not right, it will stop directly.

This is the vicious consequence of sacrificing “Turing completeness”.

To be honest, this is quite a test. It can be said that Turing is complete, so that some ordinary people can also participate in the work of “programming”. And when “Turing completeness” is sacrificed, the IQ requirements for programming increase.

But on the other hand, people with high IQ usually prefer to create a little more freely, and they are impatient to memorize so many things.

This is also the reason why the industry has abandoned such languages, which cannot be mastered by cheap programmers.

However, it is precisely because it is stable and reliable that the aerospace industry also uses it.

After all, if this thing crashes, it will be worth hundreds of millions of dollars.

From the point of view of type theory, then… the Wanxiang hexagram before Wang Qi should be regarded as… an untyped language.

The untyped language has a high degree of freedom, and the calculation process of advanced mathematics can be directly realized on the physical machine, and it is closer to the thinking habits of human beings.

Or closer to those high-level languages before the birth of Earth type theory, which fall into the category of “type-unsafe”.

It can even be said that the Vientiane hexagram has the labels of “untyped” and “type-unsafe” at the same time.

Freedom is freedom, but on the other hand, this thing is also not very useful.

If a compilation error does occur, the computer is more likely to output unpredictable results rather than just shut down.

This means that coders must know very well what they code, and even need to use their mental arithmetic ability to correct errors for what they code.

This is also very demanding on the ability of programmers.

It’s just that, in this world, as long as you practise the Myriad Laws of the Yao Ding Calculation Sutra, you can solve this problem.

In other words, after so many years, everyone actually doesn’t mind being a personal error corrector.

This is the general state of this theory on Earth.

In this world, things are a little bit weirder.

Chen Youjia, with the help of the current Lizong Lianzong debate in Shenzhou, deduced this theory from the beast organization cluster algorithm of Shuanjun.

Moreover, it was inspired by formal linguistics.

Formal linguistics can be regarded as a parallel development of computer science.

However, this process…

and indeed…

is imbued with the style of this cosmic technological history.

Genius website address: . Mobile version reading website: m.

[End of this Chapter]