王崎失魂落魄说：“不啊不……平素，我居产生此严重的知见障……真是，一刻放松不……”
王崎此说。
怎说呢……
球的数史，形式主义与直觉主义的战争，确实是打惨。
但是，打完的故，就不是那脍炙人口了。
往一段，数史书特书的就是布尔巴基派，就是掌握了数半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至形式主义直觉主义……准确说是新形式主义构造主义，倒是是有人在搞。
但终归是边缘了，在历史就不那耀眼了。
嗯，怎形容呢……
历史系研究清代史的，总比研究南明史的一些不是？
明朝在何“子守国门，君王死社稷”，南明是一条丢了祖基业的咸鱼，连逐鹿的资格有。
史爱者崇祯儿，就算了，有少人专门研究南明条咸鱼呢？
概就是了。
说实话，直觉主义形式主义的徒子徒孙，在续不是有就的。
比面的递归论，算是典型的“离宗就”了。
但无论是离宗特征明显的递归论，是连宗特征明显的类型论，它有一共同的特点——那就是属计算机科的一部分。
或者说，干脆就是依附计算机科……（内容加载失败！）
(ò﹏ò)
抱歉，章节内容不支持该浏览器显示～
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读！
谢谢!!!