直觉主义……
居然是直觉主义啊!
怎么说呢……
由于这个世界,苍生国手冯落衣一直都在,机老图灵一直都在,算器理论算是蓬勃发展了。他也下意识的就认为,这个领域就是离宗的天下。
嗯……
这么想,也不是不对吧。
毕竟,冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体,在这个世界,确实都是旗帜鲜明的离宗算家。
但是,地球计算机理论的后续发展,跟这个世界,完全不是一路。
除了诞生得更晚,只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法,全部都是……
连宗的算理……
没错,虽然形式主义和直觉主义水火不容,而计算机是形式主义数学家鼓捣出来的。
但是,后来计算机发展,却是仰仗了亨利·庞加莱的一干徒子徒孙!
天才本站地址:。手机版阅读网址:m.
</br>
</br>
Ps:书友们,我是吾道长不孤,推荐一款免费小说App,支持小说下载、听书、零广告、多种阅读模式。请您关注微信公众号:dazhuzaiyuedu(长按三秒复制)书友们快关注起来吧!
</br>
</br>