会员服务
情景 · 数学 ·
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
专知会员服务
52+阅读 · 2020年12月14日
【Google】深度学习对抗鲁棒性，43页ppt
专知会员服务
47+阅读 · 2020年10月31日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
167+阅读 · 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)
专知会员服务
77+阅读 · 2020年2月8日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
162+阅读 · 2020年1月16日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
247+阅读 · 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
专知会员服务
80+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
106+阅读 · 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
待字闺中
18+阅读 · 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
36+阅读 · 2020年9月3日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
数学
最新内容
从采集到决策：美军视角下的战术情报范式重构
从采集到决策：美军视角下的战术情报范式重构
专知会员服务
8+阅读 · 8月2日
乌克兰“德尔塔”系统揭示无人机、数据与领导力如何重塑现代安全格局
乌克兰“德尔塔”系统揭示无人机、数据与领导力如何重塑现代安全格局
专知会员服务
3+阅读 · 8月2日
大规模作战中的参谋流程：作为联合兵种作战组成部分的目标锁定
大规模作战中的参谋流程：作为联合兵种作战组成部分的目标锁定
专知会员服务
7+阅读 · 8月2日
《北约概念开发与实验（CD&E）手册：概念开发者工具箱》100页手册
《北约概念开发与实验（CD&E）手册：概念开发者工具箱》100页手册
专知会员服务
9+阅读 · 8月2日
《履带式无人地面战车技术发展现状》
《履带式无人地面战车技术发展现状》
专知会员服务
4+阅读 · 8月2日
《美国空军B-2“幽灵”隐身轰炸机系统工程案例研究》117页
《美国空军B-2“幽灵”隐身轰炸机系统工程案例研究》117页
专知会员服务
8+阅读 · 8月1日
隐身技术前沿综述：物理机理、工程实践与战略展望
隐身技术前沿综述：物理机理、工程实践与战略展望
专知会员服务
6+阅读 · 8月1日
《多变海洋环境下无人水面艇与自主水下机器人对接的最优路径规划》
《多变海洋环境下无人水面艇与自主水下机器人对接的最优路径规划》
专知会员服务
6+阅读 · 8月1日
《以机反机：基于无人机载麦克风的空中周界入侵检测》
《以机反机：基于无人机载麦克风的空中周界入侵检测》
专知会员服务
6+阅读 · 8月1日
《无人机脆弱性利用：网络空间力量的新域》
《无人机脆弱性利用：网络空间力量的新域》
专知会员服务
4+阅读 · 8月1日
美空军如何将人工智能从战场部署至后方机关
美空军如何将人工智能从战场部署至后方机关
专知会员服务
12+阅读 · 7月31日
《美战争部指令文件：网络空间效应与使能能力测试评估》
《美战争部指令文件：网络空间效应与使能能力测试评估》
专知会员服务
9+阅读 · 7月31日
《史诗怒火行动：多域前瞻评估》49页报告
《史诗怒火行动：多域前瞻评估》49页报告
专知会员服务
10+阅读 · 7月31日
《英国防部：未来空战系统数字化战略》33页
《英国防部：未来空战系统数字化战略》33页
专知会员服务
6+阅读 · 7月31日
《面向自主飞行网络的智能体人工智能架构》
《面向自主飞行网络的智能体人工智能架构》
专知会员服务
9+阅读 · 7月31日
相关VIP内容
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
52+阅读 · 2020年12月14日
【Google】深度学习对抗鲁棒性，43页ppt
专知会员服务
47+阅读 · 2020年10月31日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
167+阅读 · 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)
专知会员服务
77+阅读 · 2020年2月8日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
162+阅读 · 2020年1月16日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
247+阅读 · 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
专知会员服务
80+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
106+阅读 · 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
待字闺中
18+阅读 · 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
36+阅读 · 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