主题：【原创】我们不谈数学（3）(草稿） -- jungleford
共:💬29 🌺112 新:
这也就难怪国内很少有计算机语言创建出来了，理论基础与人相比太差了。不过中科院软件所的XYZ语言还是很有独创性的，其理论基础是时序逻辑。
- 相关回复 上下关系8
🙂呵呵，多虑了 jungleford 字305 2009-11-06 03:14:35
🙂【原创】我们不谈数学（番外篇） 9 jungleford 字19547 2009-11-05 03:55:06
🙂泛型大概和数理逻辑中的类型论有关 明日枯荷包 字50 2009-11-05 05:55:29
🙂MS计算机语言的类型系统也是类型论的应用
🙂我们不谈数学（番外的番外） jungleford 字1172 2009-11-05 04:09:04
🙂请教 踏马过 字303 2009-11-05 01:32:23
🙂康托尔本人确实不是按俺那个方式论证的 jungleford 字374 2009-11-05 01:41:04
🙂的确有点想当然了 踏马过 字283 2009-11-05 03:13:23