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