会员服务
情景 · 数学 ·
2022 年 6 月 27 日
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
下载
关闭预览

相关内容

INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
51+阅读 · 2020年12月14日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
246+阅读 · 2019年10月21日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【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 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 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
厚壁焊接油井管精密电磁加热隐性缺陷机制及预控
国家自然科学基金
0+阅读 · 2015年12月31日
Ni3Al基单晶合金高温强化机理与合金化设计研究
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
铝调制外延生长单晶镍硅锗化物及形成机理的研究
国家自然科学基金
0+阅读 · 2013年12月31日
网络链路选择问题的近似算法
国家自然科学基金
0+阅读 · 2009年12月31日
American cultural regions mapped through the lexical analysis of social media
Arxiv
0+阅读 · 2022年8月16日
Reproduction and Replication of an Adversarial Stylometry Experiment
Arxiv
0+阅读 · 2022年8月15日
Towards Informed Design and Validation Assistance in Computer Games Using Imitation Learning
Arxiv
0+阅读 · 2022年8月15日
A Preliminary Study on the Potential Usefulness of Open Domain Model for Missing Software Requirements Recommendation
Arxiv
0+阅读 · 2022年8月14日
On the Opportunities and Risks of Foundation Models
Arxiv
30+阅读 · 2021年8月18日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
数学
相关VIP内容
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
51+阅读 · 2020年12月14日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
246+阅读 · 2019年10月21日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
热门VIP内容
相关资讯
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【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 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 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
相关论文
American cultural regions mapped through the lexical analysis of social media
Arxiv
0+阅读 · 2022年8月16日
Reproduction and Replication of an Adversarial Stylometry Experiment
Arxiv
0+阅读 · 2022年8月15日
Towards Informed Design and Validation Assistance in Computer Games Using Imitation Learning
Arxiv
0+阅读 · 2022年8月15日
A Preliminary Study on the Potential Usefulness of Open Domain Model for Missing Software Requirements Recommendation
Arxiv
0+阅读 · 2022年8月14日
On the Opportunities and Risks of Foundation Models
Arxiv
30+阅读 · 2021年8月18日
相关基金
厚壁焊接油井管精密电磁加热隐性缺陷机制及预控
国家自然科学基金
0+阅读 · 2015年12月31日
Ni3Al基单晶合金高温强化机理与合金化设计研究
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
铝调制外延生长单晶镍硅锗化物及形成机理的研究
国家自然科学基金
0+阅读 · 2013年12月31日
网络链路选择问题的近似算法
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top