会员服务
情景 · 数学 ·
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
专知会员服务
50+阅读 · 2020年12月14日
【Google】深度学习对抗鲁棒性，43页ppt
专知会员服务
44+阅读 · 2020年10月31日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
159+阅读 · 2020年1月16日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
238+阅读 · 2019年10月21日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【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 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【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 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
厚壁焊接油井管精密电磁加热隐性缺陷机制及预控
国家自然科学基金
0+阅读 · 2015年12月31日
Ni3Al基单晶合金高温强化机理与合金化设计研究
国家自然科学基金
0+阅读 · 2014年12月31日
基于压电单晶的前视型自旋转血管内超声探头基础研究
国家自然科学基金
0+阅读 · 2014年12月31日
局部波动特征分解(LOD)方法及其在机械故障诊断中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
混凝土Weibull统计尺寸效应理论模型改进研究
国家自然科学基金
0+阅读 · 2013年12月31日
平方本征函数对称与随机矩阵
国家自然科学基金
0+阅读 · 2013年12月31日
铝调制外延生长单晶镍硅锗化物及形成机理的研究
国家自然科学基金
0+阅读 · 2013年12月31日
专利h指数与专利信息网络测度研究
国家自然科学基金
1+阅读 · 2011年12月31日
网络链路选择问题的近似算法
国家自然科学基金
0+阅读 · 2009年12月31日
Multimodal foundation models are better simulators of the human brain
Arxiv
0+阅读 · 2022年8月17日
Error Parity Fairness: Testing for Group Fairness in Regression Tasks
Arxiv
0+阅读 · 2022年8月16日
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日
Theoretical Exploration of Solutions of Feedforward ReLU Networks
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日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
A Wholistic View of Continual Learning with Deep Neural Networks: Forgotten Lessons and the Bridge to Active and Open World Learning
Arxiv
35+阅读 · 2020年9月3日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
数学
相关VIP内容
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【Google】深度学习对抗鲁棒性，43页ppt
专知会员服务
44+阅读 · 2020年10月31日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
159+阅读 · 2020年1月16日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
238+阅读 · 2019年10月21日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【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 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【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 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
相关论文
Multimodal foundation models are better simulators of the human brain
Arxiv
0+阅读 · 2022年8月17日
Error Parity Fairness: Testing for Group Fairness in Regression Tasks
Arxiv
0+阅读 · 2022年8月16日
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日
Theoretical Exploration of Solutions of Feedforward ReLU Networks
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日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
A Wholistic View of Continual Learning with Deep Neural Networks: Forgotten Lessons and the Bridge to Active and Open World Learning
Arxiv
35+阅读 · 2020年9月3日
相关基金
厚壁焊接油井管精密电磁加热隐性缺陷机制及预控
国家自然科学基金
0+阅读 · 2015年12月31日
Ni3Al基单晶合金高温强化机理与合金化设计研究
国家自然科学基金
0+阅读 · 2014年12月31日
基于压电单晶的前视型自旋转血管内超声探头基础研究
国家自然科学基金
0+阅读 · 2014年12月31日
局部波动特征分解(LOD)方法及其在机械故障诊断中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
混凝土Weibull统计尺寸效应理论模型改进研究
国家自然科学基金
0+阅读 · 2013年12月31日
平方本征函数对称与随机矩阵
国家自然科学基金
0+阅读 · 2013年12月31日
铝调制外延生长单晶镍硅锗化物及形成机理的研究
国家自然科学基金
0+阅读 · 2013年12月31日
专利h指数与专利信息网络测度研究
国家自然科学基金
1+阅读 · 2011年12月31日
网络链路选择问题的近似算法
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top