A Modern Perspective on Type Theory 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
简体网页||繁体网页
A Modern Perspective on Type Theory 在线电子书 图书标签: 数理逻辑 nemlophics PLT
喜欢 A Modern Perspective on Type Theory 在线电子书 的读者还喜欢
点击这里下载
发表于2024-11-22
A Modern Perspective on Type Theory 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
A Modern Perspective on Type Theory 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
A Modern Perspective on Type Theory 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
A Modern Perspective on Type Theory 在线电子书 用户评价
不感兴趣了
评分不感兴趣了
评分不感兴趣了
评分配个评论：范畴论与类型论都更近似于数学中的方法论，他们当然有用，但做数学的人仍然做的是具体的数学问题，而不是方法论。方法论有用，但是各种数学猜想与难题等等是不能靠这些东西解决的。特别是近几年，常常感觉到，当遇到现代非经典的各种逻辑系统，然后我们说逻辑也许并不存在。同样，当我们回顾从起源到现在的各种类型，我们也许同样会问，是不是类型也不存在？当然，这些都纯属我在这无聊放屁，他们当然存在，具体应用时他们存在，有人查阅时他们存在。可是对于各人来讲，他们全都可以不存在，哈哈，我可能真的已经疯了。
评分配个评论：范畴论与类型论都更近似于数学中的方法论，他们当然有用，但做数学的人仍然做的是具体的数学问题，而不是方法论。方法论有用，但是各种数学猜想与难题等等是不能靠这些东西解决的。特别是近几年，常常感觉到，当遇到现代非经典的各种逻辑系统，然后我们说逻辑也许并不存在。同样，当我们回顾从起源到现在的各种类型，我们也许同样会问，是不是类型也不存在？当然，这些都纯属我在这无聊放屁，他们当然存在，具体应用时他们存在，有人查阅时他们存在。可是对于各人来讲，他们全都可以不存在，哈哈，我可能真的已经疯了。
A Modern Perspective on Type Theory 在线电子书 著者简介
A Modern Perspective on Type Theory 在线电子书 图书目录
A Modern Perspective on Type Theory 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
A Modern Perspective on Type Theory 在线电子书 图书描述
A Modern Perspective on Type Theory 在线电子书 读后感
评分
评分
评分
评分
A Modern Perspective on Type Theory 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
分享链接
A Modern Perspective on Type Theory pdf 电子书 下载链接
A Modern Perspective on Type Theory 在线电子书 相关图书
-
The Revision Theory of Truth 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载 -
星を継ぐもの 1 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
東方奇譚秘聞錄(04) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
東方奇譚秘聞錄(03) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
藍洞(02) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(08) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(04) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
妖女傳說 01 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(05) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(06) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(10) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
星艦迷航(02) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(15) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(11) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
殘像 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(14) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
宗像教授異考錄(13) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
妖女傳說 02 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
星を継ぐもの 3 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
星を継ぐもの 4 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
