会员服务
情景 · 数学 ·
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?
专知会员服务
18+阅读 · 2022年3月13日
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
29+阅读 · 2022年2月22日
【经典书】线性代数，436页pdf
专知会员服务
76+阅读 · 2021年3月16日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
114+阅读 · 2020年4月5日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
36+阅读 · 2020年1月23日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
239+阅读 · 2019年10月21日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 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
27+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 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
64+阅读 · 2021年6月18日
Generative Models as a Data Source for Multiview Representation Learning
Arxiv
15+阅读 · 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
35+阅读 · 2020年9月3日
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
Arxiv
57+阅读 · 2020年1月20日
Rethinking Knowledge Graph Propagation for Zero-Shot Learning
Arxiv
17+阅读 · 2018年5月31日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
数学
相关VIP内容
如何使用TensorFlow 排序构建推荐系统? How to build a recommendation system using TensorFlow Ranking?
如何使用TensorFlow 排序构建推荐系统? How to build a recommendation system using TensorFlow Ranking?
专知会员服务
18+阅读 · 2022年3月13日
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
29+阅读 · 2022年2月22日
【经典书】线性代数，436页pdf
专知会员服务
76+阅读 · 2021年3月16日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
114+阅读 · 2020年4月5日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
36+阅读 · 2020年1月23日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
239+阅读 · 2019年10月21日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 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
27+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 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
64+阅读 · 2021年6月18日
Generative Models as a Data Source for Multiview Representation Learning
Arxiv
15+阅读 · 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
35+阅读 · 2020年9月3日
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
Arxiv
57+阅读 · 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