会员服务
情景 ·
2022 年 12 月 30 日
On Power Set Axiom
翻译：电源设定 Axiom 上
Leonid A. Levin
Leonid A. Levin
from arxiv, 4 pages

Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Generic sets dependent on Power Set axiom appear mostly in esoteric areas, ST logic, etc. Dropping that Axiom may greatly simplify the foundations of mainstream math. Meanwhile dependence on it of a theorem is worth noting, as dependence on Choice often is.


翻译：通常的数学组有特殊类型:可计数、紧凑、开放、偶尔是博雷尔、很少投影等等。 依赖电源Set 轴的通用集解主要出现在学系地区,ST逻辑等。 放弃Axiom可能大大简化主流数学基础的观点。 同时值得注意的是,对理论的依赖,因为对选择的依赖经常如此。
0
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
71+阅读 · 2022年6月28日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
76+阅读 · 2020年7月26日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
79+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
【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 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日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
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日
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
同型半胱氨酸经组蛋白和DNA甲基化相互作用调控ERO1α促内质网应激的分子机制
国家自然科学基金
0+阅读 · 2014年12月31日
mTOR功能性单倍体通过ERS-IRE1/α-JNK通路调控乳腺癌细胞药物敏感性的机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
β-catenin/Ets1复合体在胶质母细胞瘤中对hTERT表达调控机制的研究
国家自然科学基金
0+阅读 · 2013年12月31日
CHOP 调控ERO1α在急性肝损伤中的作用及其机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
猪GnIH与GnRH介导的细胞内信号通路交联节点调控促性腺激素转录的机制
国家自然科学基金
0+阅读 · 2013年12月31日
轴对称的Navier-Stokes方程
国家自然科学基金
1+阅读 · 2011年12月31日
PTPMeg2调控STAT3活性的分子机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
IER2在肝癌转移中的作用机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
AUF1对p16 mRNA turnover 的调控机制及其在细胞衰老过程中的意义
国家自然科学基金
0+阅读 · 2009年12月31日
On Dillon's property of $(n,m)$-functions
Arxiv
0+阅读 · 2023年2月27日
Kernel Multi-Grid on Manifolds
Arxiv
0+阅读 · 2023年2月25日
On the parameterized complexity of Compact Set Packing
Arxiv
0+阅读 · 2023年2月25日
Oblivious Median Slope Selection
Arxiv
0+阅读 · 2023年2月24日
Extending Wormald's Differential Equation Method to One-sided Bounds
Arxiv
0+阅读 · 2023年2月23日
Fundamental Bounds on Online Strategic Classification
Arxiv
0+阅读 · 2023年2月23日
How Likely A Coalition of Voters Can Influence A Large Election?
Arxiv
0+阅读 · 2023年2月23日
Variable selection in linear regression models: choosing the best subset is not always the best choice
Arxiv
0+阅读 · 2023年2月23日
A Comprehensive Survey on Transfer Learning
A Comprehensive Survey on Transfer Learning
Arxiv
117+阅读 · 2019年11月7日
Meta-Learning to Cluster
Meta-Learning to Cluster
Arxiv
17+阅读 · 2019年10月30日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
71+阅读 · 2022年6月28日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
76+阅读 · 2020年7月26日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
79+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【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 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日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
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日
相关论文
On Dillon's property of $(n,m)$-functions
Arxiv
0+阅读 · 2023年2月27日
Kernel Multi-Grid on Manifolds
Arxiv
0+阅读 · 2023年2月25日
On the parameterized complexity of Compact Set Packing
Arxiv
0+阅读 · 2023年2月25日
Oblivious Median Slope Selection
Arxiv
0+阅读 · 2023年2月24日
Extending Wormald's Differential Equation Method to One-sided Bounds
Arxiv
0+阅读 · 2023年2月23日
Fundamental Bounds on Online Strategic Classification
Arxiv
0+阅读 · 2023年2月23日
How Likely A Coalition of Voters Can Influence A Large Election?
Arxiv
0+阅读 · 2023年2月23日
Variable selection in linear regression models: choosing the best subset is not always the best choice
Arxiv
0+阅读 · 2023年2月23日
A Comprehensive Survey on Transfer Learning
A Comprehensive Survey on Transfer Learning
Arxiv
117+阅读 · 2019年11月7日
Meta-Learning to Cluster
Meta-Learning to Cluster
Arxiv
17+阅读 · 2019年10月30日
相关基金
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
同型半胱氨酸经组蛋白和DNA甲基化相互作用调控ERO1α促内质网应激的分子机制
国家自然科学基金
0+阅读 · 2014年12月31日
mTOR功能性单倍体通过ERS-IRE1/α-JNK通路调控乳腺癌细胞药物敏感性的机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
β-catenin/Ets1复合体在胶质母细胞瘤中对hTERT表达调控机制的研究
国家自然科学基金
0+阅读 · 2013年12月31日
CHOP 调控ERO1α在急性肝损伤中的作用及其机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
猪GnIH与GnRH介导的细胞内信号通路交联节点调控促性腺激素转录的机制
国家自然科学基金
0+阅读 · 2013年12月31日
轴对称的Navier-Stokes方程
国家自然科学基金
1+阅读 · 2011年12月31日
PTPMeg2调控STAT3活性的分子机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
IER2在肝癌转移中的作用机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
AUF1对p16 mRNA turnover 的调控机制及其在细胞衰老过程中的意义
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top