会员服务
情景 · 数学 ·
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
下载
关闭预览

相关内容

如何使用TensorFlow 排序构建推荐系统? How to build a recommendation system using TensorFlow Ranking?
如何使用TensorFlow 排序构建推荐系统? How to build a recommendation system using TensorFlow Ranking?
专知会员服务
19+阅读 · 2022年3月13日
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
30+阅读 · 2022年2月22日
【经典书】线性代数，436页pdf
专知会员服务
79+阅读 · 2021年3月16日
NLP必读经典文献100篇
专知会员服务
124+阅读 · 2020年9月8日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
116+阅读 · 2020年4月5日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
38+阅读 · 2020年1月23日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
247+阅读 · 2019年10月21日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
164+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
65+阅读 · 2019年10月9日
【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 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日
【ICIG2021】Latest News & Announcements of the Industry Talk2
【ICIG2021】Latest News & Announcements of the Industry Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年7月29日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
44+阅读 · 2019年1月3日
山豆根中具有抗肿瘤活性的Cytisine-Pterocarpan型新骨架化合物的发现及其仿生合成研究
国家自然科学基金
0+阅读 · 2015年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
长链非编码RNA CAR intergenic 10在细胞衰老中的作用和机制
国家自然科学基金
1+阅读 · 2013年12月31日
利用基因敲除小鼠研究Cyclin G2调控破骨细胞分化和骨吸收的作用及其分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
三维流形Heegaard分解稳定化问题的研究
国家自然科学基金
0+阅读 · 2012年12月31日
p38MAPK信号通路在硒诱导白血病细胞自噬与凋亡中的调控作用
国家自然科学基金
0+阅读 · 2011年12月31日
HGF诱导NSCLC细胞对EGFR-TKIs耐药机制的研究。
国家自然科学基金
0+阅读 · 2011年12月31日
Rho信号通路在张应变诱导人牙周膜细胞细胞骨架重建中的作用机制
国家自然科学基金
0+阅读 · 2011年12月31日
覆盖曲面理论、随机级数及算子不等式的若干研究
国家自然科学基金
0+阅读 · 2011年12月31日
MosaicSets: Embedding Set Systems into Grid Graphs
Arxiv
0+阅读 · 2022年8月16日
A Survey of Learning on Small Data
Arxiv
19+阅读 · 2022年7月29日
Trust in Human-AI Interaction: Scoping Out Models, Measures, and Methods
Arxiv
22+阅读 · 2022年4月30日
On the Opportunities and Risks of Foundation Models
Arxiv
30+阅读 · 2021年8月18日
The Principles of Deep Learning Theory
Arxiv
66+阅读 · 2021年6月18日
Generative Models as a Data Source for Multiview Representation Learning
Arxiv
16+阅读 · 2021年6月9日
A Survey of Machine Learning for Computer Architecture and Systems
Arxiv
18+阅读 · 2021年2月16日
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日
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
Arxiv
59+阅读 · 2020年1月20日
Rethinking Knowledge Graph Propagation for Zero-Shot Learning
Arxiv
17+阅读 · 2018年5月31日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
数学
最新内容
世界模型入门：从序贯决策到通用智能体
世界模型入门：从序贯决策到通用智能体
专知会员服务
8+阅读 · 10月24日
综述｜时间序列异常检测：从方法分类到可信评估与统一模型
综述｜时间序列异常检测：从方法分类到可信评估与统一模型
专知会员服务
6+阅读 · 10月24日
综述｜长文档视觉问答：从读懂页面到获取充分证据
综述｜长文档视觉问答：从读懂页面到获取充分证据
专知会员服务
7+阅读 · 10月23日
综述｜通过视频理解、生成与交互世界：迈向统一视频世界模型
综述｜通过视频理解、生成与交互世界：迈向统一视频世界模型
专知会员服务
5+阅读 · 10月23日
《信息速度战争：数据传输、决策优势与军事太空通信的未来》智库报告
《信息速度战争：数据传输、决策优势与军事太空通信的未来》智库报告
专知会员服务
14+阅读 · 10月22日
《用于实时健康与位置跟踪的物联网赋能智能士兵监测系统》
《用于实时健康与位置跟踪的物联网赋能智能士兵监测系统》
专知会员服务
9+阅读 · 10月22日
《强化学习与老虎机策略选择在即时战略游戏中的应用》
《强化学习与老虎机策略选择在即时战略游戏中的应用》
专知会员服务
7+阅读 · 10月22日
军事域更好使用人工智能的实用指南
军事域更好使用人工智能的实用指南
专知会员服务
10+阅读 · 10月22日
《衡量语言模型中的作战规划能力》
《衡量语言模型中的作战规划能力》
专知会员服务
14+阅读 · 10月20日
Maven智能系统：帕兰提尔军事人工智能平台详解
Maven智能系统：帕兰提尔军事人工智能平台详解
专知会员服务
17+阅读 · 10月20日
《加速情报分发：利用MAVEN AIP智能体工作室优化人力情报报告》
《加速情报分发：利用MAVEN AIP智能体工作室优化人力情报报告》
专知会员服务
17+阅读 · 10月20日
《测试自动化框架在敏捷软件开发中的角色》
《测试自动化框架在敏捷软件开发中的角色》
专知会员服务
9+阅读 · 10月20日
俄罗斯如何拦截乌克兰无人机与巡航导弹
俄罗斯如何拦截乌克兰无人机与巡航导弹
专知会员服务
13+阅读 · 10月15日
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
专知会员服务
14+阅读 · 10月15日
《武器-目标分配问题：精确与近似求解算法》
《武器-目标分配问题：精确与近似求解算法》
专知会员服务
19+阅读 · 10月15日
相关VIP内容
如何使用TensorFlow 排序构建推荐系统? How to build a recommendation system using TensorFlow Ranking?
如何使用TensorFlow 排序构建推荐系统? How to build a recommendation system using TensorFlow Ranking?
专知会员服务
19+阅读 · 2022年3月13日
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
30+阅读 · 2022年2月22日
【经典书】线性代数，436页pdf
专知会员服务
79+阅读 · 2021年3月16日
NLP必读经典文献100篇
专知会员服务
124+阅读 · 2020年9月8日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
116+阅读 · 2020年4月5日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
38+阅读 · 2020年1月23日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
247+阅读 · 2019年10月21日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
164+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
65+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【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 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日
【ICIG2021】Latest News & Announcements of the Industry Talk2
【ICIG2021】Latest News & Announcements of the Industry Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年7月29日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
44+阅读 · 2019年1月3日
相关论文
MosaicSets: Embedding Set Systems into Grid Graphs
Arxiv
0+阅读 · 2022年8月16日
A Survey of Learning on Small Data
Arxiv
19+阅读 · 2022年7月29日
Trust in Human-AI Interaction: Scoping Out Models, Measures, and Methods
Arxiv
22+阅读 · 2022年4月30日
On the Opportunities and Risks of Foundation Models
Arxiv
30+阅读 · 2021年8月18日
The Principles of Deep Learning Theory
Arxiv
66+阅读 · 2021年6月18日
Generative Models as a Data Source for Multiview Representation Learning
Arxiv
16+阅读 · 2021年6月9日
A Survey of Machine Learning for Computer Architecture and Systems
Arxiv
18+阅读 · 2021年2月16日
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日
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
Arxiv
59+阅读 · 2020年1月20日
Rethinking Knowledge Graph Propagation for Zero-Shot Learning
Arxiv
17+阅读 · 2018年5月31日
相关基金
山豆根中具有抗肿瘤活性的Cytisine-Pterocarpan型新骨架化合物的发现及其仿生合成研究
国家自然科学基金
0+阅读 · 2015年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
长链非编码RNA CAR intergenic 10在细胞衰老中的作用和机制
国家自然科学基金
1+阅读 · 2013年12月31日
利用基因敲除小鼠研究Cyclin G2调控破骨细胞分化和骨吸收的作用及其分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
三维流形Heegaard分解稳定化问题的研究
国家自然科学基金
0+阅读 · 2012年12月31日
p38MAPK信号通路在硒诱导白血病细胞自噬与凋亡中的调控作用
国家自然科学基金
0+阅读 · 2011年12月31日
HGF诱导NSCLC细胞对EGFR-TKIs耐药机制的研究。
国家自然科学基金
0+阅读 · 2011年12月31日
Rho信号通路在张应变诱导人牙周膜细胞细胞骨架重建中的作用机制
国家自然科学基金
0+阅读 · 2011年12月31日
覆盖曲面理论、随机级数及算子不等式的若干研究
国家自然科学基金
0+阅读 · 2011年12月31日
Top
微信扫码咨询专知VIP会员
Top