会员服务
情景 · 数学 ·
2022 年 6 月 28 日
Should Type Theory replace Set Theory as the Foundation of Mathematics
翻译：是否应该将“设置理论”替换为数学基金会?
Thorsten Altenkirch
Thorsten Altenkirch

We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.


翻译：我们讨论为什么类型理论比固定理论更适合作为数学的基础。
0
下载
关闭预览

相关内容

【经典书】线性代数，436页pdf
专知会员服务
78+阅读 · 2021年3月16日
NLP必读经典文献100篇
专知会员服务
124+阅读 · 2020年9月8日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
246+阅读 · 2019年10月21日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
163+阅读 · 2019年10月12日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
65+阅读 · 2019年10月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
利用基因敲除小鼠研究Cyclin G2调控破骨细胞分化和骨吸收的作用及其分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
p38MAPK信号通路在硒诱导白血病细胞自噬与凋亡中的调控作用
国家自然科学基金
0+阅读 · 2011年12月31日
HGF诱导NSCLC细胞对EGFR-TKIs耐药机制的研究。
国家自然科学基金
0+阅读 · 2011年12月31日
MosaicSets: Embedding Set Systems into Grid Graphs
Arxiv
0+阅读 · 2022年8月16日
On the Opportunities and Risks of Foundation Models
Arxiv
30+阅读 · 2021年8月18日
The Principles of Deep Learning Theory
Arxiv
66+阅读 · 2021年6月18日
A Wholistic View of Continual Learning with Deep Neural Networks: Forgotten Lessons and the Bridge to Active and Open World Learning
Arxiv
36+阅读 · 2020年9月3日
Rethinking Knowledge Graph Propagation for Zero-Shot Learning
Arxiv
17+阅读 · 2018年5月31日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
数学
相关VIP内容
【经典书】线性代数，436页pdf
专知会员服务
78+阅读 · 2021年3月16日
NLP必读经典文献100篇
专知会员服务
124+阅读 · 2020年9月8日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
246+阅读 · 2019年10月21日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
163+阅读 · 2019年10月12日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
65+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
相关论文
MosaicSets: Embedding Set Systems into Grid Graphs
Arxiv
0+阅读 · 2022年8月16日
On the Opportunities and Risks of Foundation Models
Arxiv
30+阅读 · 2021年8月18日
The Principles of Deep Learning Theory
Arxiv
66+阅读 · 2021年6月18日
A Wholistic View of Continual Learning with Deep Neural Networks: Forgotten Lessons and the Bridge to Active and Open World Learning
Arxiv
36+阅读 · 2020年9月3日
Rethinking Knowledge Graph Propagation for Zero-Shot Learning
Arxiv
17+阅读 · 2018年5月31日
相关基金
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
利用基因敲除小鼠研究Cyclin G2调控破骨细胞分化和骨吸收的作用及其分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
p38MAPK信号通路在硒诱导白血病细胞自噬与凋亡中的调控作用
国家自然科学基金
0+阅读 · 2011年12月31日
HGF诱导NSCLC细胞对EGFR-TKIs耐药机制的研究。
国家自然科学基金
0+阅读 · 2011年12月31日
Top
微信扫码咨询专知VIP会员
Top