Into the Immortal Cultivation - Chapter 2085

[Chapter 98 Theory of Models [Third Update]]

The foundation of type theory is intuitionistic logic.

Hai Ting has absorbed Li Zong’s “logic”, rewritten the axioms of arithmetic, and completed Lian Zong’s logic.

The goal of type theory is to “break through Gödel’s incompleteness theorem”, and the idea is to “cut off self-reference”.

The arithmetic master proposed a way of bypassing “Gödel’s incompleteness theorem”, including “cutting off self-reference”.

In order to prove the safety of the “infinity axiom”, Feng Luoyi followed this line of thought.

It can be said that everything is ready.

Then, the mathematician contributes… an achievement that includes the results of type theory.

That is, the chaotic topology network algorithm of the beast organ cluster.

Shunjun did not put forward the “type theory” alone, because he was really not interested in the basic arithmetic that everyone was fighting for.

However, he is indeed a genius. With his own thinking, he has completed such a strict system.

It’s like writing a complete operating system for you in oq language, and it still runs smoothly, and even the interface is beautiful. It’s incredible and amazing.

Wang Qi even suspected that the method of Shunjun was not at the expense of “Turing completeness”, but… Shunjun didn’t care about “Turing completeness” at all.

The beast organ cluster is quite safe. From the point of view of type theory, it is absolutely “strongly normative strong typing”, which will not enter any “unexpected” results. Once there is a little error, it will directly stop to show you.

On a macro level, it can be compatible with the achievements of Feng Luoyi’s department.

And even if there is a problem with the macro-level calculations, wisdom will cause the macro-level clusters to temporarily lose their cohesion, rather than causing the beast mechanism itself to get out of control.

Wang Qi thought about it, this kind of thing that could destroy the star if he was not careful really needed such a rigid thing to restrain it.

If he were to directly write the bottom layer in untyped, type-unsafe Vientiane hexagrams…

Ha ha ha ha ha ha ha…

It can be said that all the conditions for the birth of type theory are already intact.

It’s just that at present, the cultivator Lianzong of Shenzhou still doesn’t pay enough attention to calculators.

They are still staring at the part of the basic arithmetic, and they want to fight Lizong and Ge Ting faction to the death in this regard.

Occasionally dabble in calculator theory, but only to “refute each other”.

But what Wang Qi has almost completely broken is…

such an achievement in the history of the earth comes from basic mathematics. In this world, it is actually deduced from the application…

“Haha…hahahaha…” Wang Qi I can only say: “I feel that my barriers to perception are really serious…”

Although the monks of today’s law have always been proud of “opening the black box”, in this universe, there is no way to completely avoid the “black box”. spells.

In other words, no one can live without a black box.

Let’s take the most direct example. If you have to understand the “central dogma” to have a baby, then humans don’t need to reproduce, but relatively, the virus will not spread.

“Application” comes first and then “theory”, which is a common occurrence in any world.

Zhao Qingtan was stunned and said: “Junior sister’s achievement is quite remarkable…”

“Yes, quite remarkable.” Wang Qi shook his head: “I am afraid that Shenzhou is going to change again.”

“What do you mean?”

Wang Qi said: “Constructing a new high-level calculator language has become simpler, because someone has directly pointed out the essence of ‘language’, so everyone knows how to construct a language ‘that can be used by fools’.”

Strong norms, strong The IQ challenge of type is that you have to dance in shackles. Because of the loss of Turing completeness, there is really no fault tolerance at all.

Type-unsafe, typeless The challenge to IQ is that you never know what bugs will output.

Then the idea of combining peeing shrimp and beef balls to make peeing beef balls is here.

There are also languages that have both “type theory” and “Turing completeness”.

It really is unflattering on both sides.

This language is mostly to please the “below”.

Because of the type, completely unpredictable results are not output.

Since it is Turing complete, it has a certain fault tolerance rate.

Code farmers despised the popular language at the bottom of the chain, and it was born.

Wang Qi and Feng Luoyi wouldn’t take the initiative to develop this kind of thing, so you wouldn’t think about it at all.

However, it does point out a clear path.

As long as you go in this direction, the languages used by those programmers will always be born.

“Furthermore, this is also meaningful in the basic arithmetic part…isn’t it?” Wang Qi said.

Zhao Qingtan smiled.

Li Zong Lianzong, Ge Ting Shaoli and other names are really loud.

But a monk like him firmly believed that the “structure” of the base faction was the power of the next era.

The next day, Chen Yujia woke up and was stunned after listening to Wang Qi’s introduction to these things.

“Am I so powerful?” The

girl blinked her eyes blankly.

Wang Qi nodded: ”

It’s amazing.” Chen Yujia narrowed his eyes and smiled.

But immediately, she had some doubts: “This…is considered basic arithmetic? I originally wanted to develop applications…”

“This is very useful for analyzing the achievements of Sovereign Master.” Wang Qi said, “Furthermore, you deduced it from Sounjun’s ‘application’, which can be regarded as a path from ‘theory to application’.”

Type theory is also closely related to functional programming.

Although functional programming such as lisps that can actually be used on earth were developed long before type theory, this does not prevent type theory from taking the art of programming in general, and functional programming in particular, to a new level.

One more barrier to application of Bourbaki’s theory has been removed.

Wang Qi took a deep breath and said solemnly: “But, Junior Sister, this is not the end. In your hands, this type theory has only just taken shape.”

Chen Youjia was stunned: “What do you call it? Type theory? ”

Wang Qi nodded: “Defining the type of language… What are you dissatisfied with?”

Chen Yujia smiled: “I feel like you will be overshadowed by your class theory [k theory].”

Wang Qi was taken aback. This is a trouble that does not exist in the context of the previous life.

“Then it’s called ‘Type Theory’.”

“It sounds like a pair with your ‘Type Theory’, it’s not right…”

Wang Qi raised Chen Yujia’s chin and asked back, “A pair, there are What’s wrong?”

“Don’t make trouble, these two theories are very different in the field of arithmetic…”

“The names are similar!”

In the midst of laughter, this theory that is destined to shake history is a finalized name.

Chen Yujia suddenly sighed: “This time, it’s really a coincidence… If there was no debate between Hai Ting and Teacher Feng, I would never have touched the ‘idea’ of Shunjun; and if there was no manuscript of Shunjun, I would If you can see the door, you may not be able to enter…”

“Be confident.” Wang Qi patted Chen Yujia’s head: “You are strong enough.”

After the excitement, Chen Youjia suddenly became a little worried: “In other words, the basic theory of arithmetic is mainly for the foundation of arithmetic. This time I publish the paper, that is… I am joining the current debate as Lianzong, right? Is it right? Not good?”

A school must have a consistent philosophy.

Wang Qi thought for a moment: “I don’t think it’s bad. When I published my bad calculations, I was still a non-staff member of the Geting faction.”

“Ah? I always think you made an unlucky metaphor…”

Wang Qi waved his hand: “Where do you want to go… In short, it is a point of my Wanfa Sect’s rise, and it is also the origin of the basic faction? It can be said that Lianzong Lizong’s last debate, It was me that ended. And now, that is their last debate, it is also because of me.”

Now Li Zong Lianzong is trying to challenge the incompleteness theorem. What Wang Qi said was right.

“It is precisely because of this that I have the capital of the component base faction.”

“This turmoil started because of the base faction, so it is not wrong for the members of the base faction to end it.”

Chen Yujia’s tone was stagnant: ” The end…”

Wang Qi nodded: “The end. I should say…Go, end this old generation.”

Chen Yujia couldn’t help laughing: “It’s as if the grievances between Ge Ting and Shaoli are about to end.”

Wang Qi did not smile. The fact is pretty much the same.

The mathematical laws of this world and the universe without aura are basically the same. In the foreseeable direction, intuitionism and formalism are bound to decline.

Even if there is a difference, it is at most… the master is still alive, so intuitionism will not be reduced to working for computer science, but instead, let intuitionism dominate the field of computer science?

This is just the worst possible way.

After all, Teacher Feng and Real Turing didn’t kneel, didn’t they?

Wang Qi said: “Senior Brother Su is also paying attention to this aspect, but you can communicate with him.”

Chen Youjia nodded: “By the way, can you contact the master?”

Wang Qi was stunned: “What are you doing?”

” Ask for advice, and thank you.”

“You’re dying?” Wang Qi exclaimed: “Didn’t you just get exhausted? And what are you thanking him for? Isn’t it just right to write a book for other scholars? What inspires other scholars? ”

You said it yourself, why should you be afraid of being a king?” Chen Yujia said calmly: “Not only a master, Teacher Feng, and real Hai Ting, all have to thank you. Of course, I also ask for advice by the way.”

Wang Qi grinned: ” Don’t you think… this is a bit too aggressive?”

“If you don’t help, I’ll find my father.” Chen Yujia stared at Wang Qi.

Although there are communication restrictions between his hometown and his hometown, Shenzhou, Chen Jingyun is also a Xiaoyao cultivator, and his relatives can communicate with him without restrictions.

But it is difficult for Chen Youjia to find the ruler.

Wang Qi raised his hand: “Don’t, don’t, forwarding from the earth also consumes the precious bandwidth of the Xianmeng. It’s not worth it, it’s not worth it. Let me send you a letter to the head office?

” , I just know that Jun Jun is now at the bottom of that corner, and he can really send a letter to Jun Jun.

[End of this Chapter]