The foundation of type theory was intuitionistic logic.
True Person Hai Ting had already absorbed the "logic" of the School of Separation, rewritten the axioms of arithmetic, and completed the logic of the School of Separation.
The goal of type theory was to "break through Gödel's Incompleteness Theorems," with the approach being "cutting off self-reference."
The Calculator Lord had proposed ways around "Gödel's Incompleteness Theorems," including "cutting off self-reference."
In order to prove the safety of the "axiom of infinity," Feng Luoyi had followed this line of thought.
It could be said that everything was in place.
Then, the Calculator Lord contributed... an achievement containing the results of type theory.
Namely, the chaotic topological network algorithm of Beast Mechanism clusters.
The Calculator Lord had not proposed "type theory" on its own, because he truly had no interest in the foundational mathematical principles everyone was fighting over.
But he was indeed a genius. Through his own thinking alone, he had completed such a rigorous system.
It was like writing you a complete operating system in Coq and making it run smoothly, with an interface beautiful to boot—utterly inconceivable and astonishing.
Wang Qi even suspected that the Calculator Lord's approach had not sacrificed "Turing completeness" at all, but rather... the Calculator Lord simply had never cared about "Turing completeness."
Beast Mechanism clusters were quite safe. Viewed through the theory of type theory, they possessed absolutely "strong specifications and strong types," and would never output any "unexpected" result. The slightest error would make them shut down on the spot.
And on the macroscopic level, they could accommodate the achievements of Feng Luoyi's branch.
Even if an error arose in the macroscopic calculations, it would only cause the macroscopic cluster to temporarily lose cohesion, rather than make the Beast Mechanisms themselves lose control.
The