五千年(敝帚自珍)

主题:【原创】我们不谈数学(3)(草稿) -- jungleford

共:💬29 🌺112
全看分页树展 · 主题 跟帖
家园 泛型大概和数理逻辑中的类型论有关

类型论是罗素怀特海他们为了解决罗素悖论发展出来的。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河