类型论的根基,是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了,重写了算术公理,完了连宗的逻辑。
类型论的目标,是“突破哥德尔不完备定理”,思路是“切断我指涉”。
算主提了绕“哥德尔不完备定理”的思路,包括了“切断我指涉”。
冯落衣了证明“无穷公理”的安全,沿着条思路走了。
说,万俱备了。
,算君就贡献了……包含类型论结果的就。
就是兽机关集群的混沌拓扑网络算法。
算君并有单独提“类型论”,因他确实争争的基础算理不感兴趣。
但是,他确实是才,凭借己的思考,就完了一严苛的系统。
就像coq语言给你写一完整的操系统,运行很顺畅,甚至界面很优一,匪夷所思,令人惊叹。
王崎甚至怀疑,算君一套做法,并非牺牲“图灵完备”,是……算君压根就在意什“图灵完备”。
兽机关集群相安全。类型论的理论,它就是绝的“强规范强类型”,不输入任何“预料外”的结果。一旦有丁点错误,提示语法错误,直接就直接停机给你。
在宏观,则兼容冯落衣一系的就。
就算宏观……(内容加载失败!)
(ò﹏ò)
抱歉,章节内容不支持该浏览器显示~
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!
谢谢!!!