会员服务
情景 ·
2022 年 12 月 20 日
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
下载
关闭预览

相关内容

NeurlPS 2022 | 自然语言处理相关论文分类整理
NeurlPS 2022 | 自然语言处理相关论文分类整理
专知会员服务
48+阅读 · 2022年10月2日
Artificial Intelligence: Ready to Ride the Wave? BCG 28页PPT
Artificial Intelligence: Ready to Ride the Wave? BCG 28页PPT
专知会员服务
26+阅读 · 2022年2月20日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
152+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
深度自进化聚类：Deep Self-Evolution Clustering
深度自进化聚类：Deep Self-Evolution Clustering
我爱读PAMI
15+阅读 · 2019年4月13日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 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
待字闺中
17+阅读 · 2018年12月24日
MARVELD1基因调控肝细胞癌介入治疗的机制研究
国家自然科学基金
0+阅读 · 2016年12月31日
S3AGA样本（Spitzer-SDSS Spectral Atlas of Galaxies and AGNs)及其AGN研究
国家自然科学基金
0+阅读 · 2014年12月31日
地下矿山多尺度无缝集成建模原理及模型动态更新机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
A4Zr3O12陶瓷材料的高温辐照损伤机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
可压缩Navier-Stokes方程全局光滑解的适定性问题
国家自然科学基金
0+阅读 · 2012年12月31日
高性能染料敏化太阳电池材料的创新设计与可控制备
国家自然科学基金
0+阅读 · 2012年12月31日
两类Monge-Ampere方程问题的研究
国家自然科学基金
1+阅读 · 2012年12月31日
量子计算下安全的基于格问题的数字签名方案研究
国家自然科学基金
0+阅读 · 2011年12月31日
miR-146a遗传多态性与冠心病遗传易感性及其机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
Infinite-Dimensional Diffusion Models for Function Spaces
Infinite-Dimensional Diffusion Models for Function Spaces
Arxiv
0+阅读 · 2023年2月20日
Matching Cuts in Graphs of High Girth and H-Free Graphs
Arxiv
0+阅读 · 2023年2月20日
Power Transformations of Relative Count Data as a Shrinkage Problem
Arxiv
0+阅读 · 2023年2月20日
Learning to Increase the Power of Conditional Randomization Tests
Arxiv
0+阅读 · 2023年2月19日
Enhancing High-dimensional Bayesian Optimization by Optimizing the Acquisition Function Maximizer Initialization
Arxiv
0+阅读 · 2023年2月16日
A Truthful Referral Auction Over Networks
Arxiv
0+阅读 · 2023年2月16日
Prediction-Powered Inference
Arxiv
1+阅读 · 2023年2月16日
The Expressive Power of Tuning Only the Norm Layers
Arxiv
0+阅读 · 2023年2月15日
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日
Class-Balanced Loss Based on Effective Number of Samples
Arxiv
12+阅读 · 2019年1月16日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
相关VIP内容
NeurlPS 2022 | 自然语言处理相关论文分类整理
NeurlPS 2022 | 自然语言处理相关论文分类整理
专知会员服务
48+阅读 · 2022年10月2日
Artificial Intelligence: Ready to Ride the Wave? BCG 28页PPT
Artificial Intelligence: Ready to Ride the Wave? BCG 28页PPT
专知会员服务
26+阅读 · 2022年2月20日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
152+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
深度自进化聚类：Deep Self-Evolution Clustering
深度自进化聚类：Deep Self-Evolution Clustering
我爱读PAMI
15+阅读 · 2019年4月13日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 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
待字闺中
17+阅读 · 2018年12月24日
相关论文
Infinite-Dimensional Diffusion Models for Function Spaces
Infinite-Dimensional Diffusion Models for Function Spaces
Arxiv
0+阅读 · 2023年2月20日
Matching Cuts in Graphs of High Girth and H-Free Graphs
Arxiv
0+阅读 · 2023年2月20日
Power Transformations of Relative Count Data as a Shrinkage Problem
Arxiv
0+阅读 · 2023年2月20日
Learning to Increase the Power of Conditional Randomization Tests
Arxiv
0+阅读 · 2023年2月19日
Enhancing High-dimensional Bayesian Optimization by Optimizing the Acquisition Function Maximizer Initialization
Arxiv
0+阅读 · 2023年2月16日
A Truthful Referral Auction Over Networks
Arxiv
0+阅读 · 2023年2月16日
Prediction-Powered Inference
Arxiv
1+阅读 · 2023年2月16日
The Expressive Power of Tuning Only the Norm Layers
Arxiv
0+阅读 · 2023年2月15日
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日
Class-Balanced Loss Based on Effective Number of Samples
Arxiv
12+阅读 · 2019年1月16日
相关基金
MARVELD1基因调控肝细胞癌介入治疗的机制研究
国家自然科学基金
0+阅读 · 2016年12月31日
S3AGA样本（Spitzer-SDSS Spectral Atlas of Galaxies and AGNs)及其AGN研究
国家自然科学基金
0+阅读 · 2014年12月31日
地下矿山多尺度无缝集成建模原理及模型动态更新机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
A4Zr3O12陶瓷材料的高温辐照损伤机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
可压缩Navier-Stokes方程全局光滑解的适定性问题
国家自然科学基金
0+阅读 · 2012年12月31日
高性能染料敏化太阳电池材料的创新设计与可控制备
国家自然科学基金
0+阅读 · 2012年12月31日
两类Monge-Ampere方程问题的研究
国家自然科学基金
1+阅读 · 2012年12月31日
量子计算下安全的基于格问题的数字签名方案研究
国家自然科学基金
0+阅读 · 2011年12月31日
miR-146a遗传多态性与冠心病遗传易感性及其机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top