会员服务
情景 · 数学 ·
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
专知会员服务
78+阅读 · 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
专知会员服务
246+阅读 · 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
相关主题
情景
数学
最新内容
【博士论文】基于物理结构与贝叶斯不确定性的可靠神经网络
【博士论文】基于物理结构与贝叶斯不确定性的可靠神经网络
专知会员服务
9+阅读 · 6月4日
AgentOps综述：智能体系统运维框架
AgentOps综述：智能体系统运维框架
专知会员服务
14+阅读 · 6月4日
《美陆军最新条令：兵力防护》
《美陆军最新条令：兵力防护》
专知会员服务
9+阅读 · 6月4日
《军用物联网：架构、应用、挑战与现代战争中的战略意义》
《军用物联网：架构、应用、挑战与现代战争中的战略意义》
专知会员服务
8+阅读 · 6月4日
《人工智能的挑战：算法战的想象与现实》
《人工智能的挑战：算法战的想象与现实》
专知会员服务
11+阅读 · 6月4日
《自适应智能：融合数字孪生精准性与人工智能预见力，实现实时决策》
《自适应智能：融合数字孪生精准性与人工智能预见力，实现实时决策》
专知会员服务
13+阅读 · 6月4日
首场人工智能战争：Maven如何重塑武装冲突
首场人工智能战争：Maven如何重塑武装冲突
专知会员服务
7+阅读 · 6月4日
【博士论文】抽象信息论与安全奖励学习的数学发展
【博士论文】抽象信息论与安全奖励学习的数学发展
专知会员服务
9+阅读 · 6月3日
综述 | 机器人操作世界模型：预测、行动接口与学习生命周期
综述 | 机器人操作世界模型：预测、行动接口与学习生命周期
专知会员服务
6+阅读 · 6月3日
《推进军事决策支持：运用强化学习驱动仿真的稳健作战计划验证》
《推进军事决策支持：运用强化学习驱动仿真的稳健作战计划验证》
专知会员服务
13+阅读 · 6月3日
详解人工智能赋能战争的旗舰软件平台：Maven智能系统
详解人工智能赋能战争的旗舰软件平台：Maven智能系统
专知会员服务
22+阅读 · 6月3日
《发展用于决策支持的化生放核（CBRN）态势理解》
《发展用于决策支持的化生放核（CBRN）态势理解》
专知会员服务
8+阅读 · 6月3日
《通往人工通用智能之路上的均衡策略》
《通往人工通用智能之路上的均衡策略》
专知会员服务
7+阅读 · 6月3日
《人工智能与军事整合：现状与未来风险》报告
《人工智能与军事整合：现状与未来风险》报告
专知会员服务
5+阅读 · 6月3日
《Palantir的科技生态系统》
《Palantir的科技生态系统》
专知会员服务
22+阅读 · 6月2日
相关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
专知会员服务
78+阅读 · 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
专知会员服务
246+阅读 · 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