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

相关内容

【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
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
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【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】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
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日
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日
过表达ERBB4的衰老间充质干细胞对心梗后心肌再生的保护作用
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
Bacillus megaterium Q3降解二氯喹啉酸分子机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
Kahler 曲面中特殊曲面的研究
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
云计算环境下数据中心的power capping关键问题研究
国家自然科学基金
0+阅读 · 2012年12月31日
面向属性的CPN建模及On the Fly辅助的测试生成方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
基于MEMS器件的微型化驻极体研究中的几个基本问题
国家自然科学基金
0+阅读 · 2011年12月31日
超灵敏化学发光DNA生物传感器的研制及在痕量肿瘤标志物检测中的应用
国家自然科学基金
0+阅读 · 2009年12月31日
View Birdification in the Crowd: Ground-Plane Localization from Perceived Movements
Arxiv
0+阅读 · 2022年10月25日
Fast Community Detection in Dynamic and Heterogeneous Networks
Arxiv
0+阅读 · 2022年10月24日
Causal Inference on Distribution Functions
Arxiv
0+阅读 · 2022年10月24日
Driver Locations Harvesting Attack on pRide
Arxiv
0+阅读 · 2022年10月24日
Knowledge Base Question Answering: A Semantic Parsing Perspective
Arxiv
0+阅读 · 2022年10月24日
Quantitative Evidence on Overlooked Aspects of Enrollment Speaker Embeddings for Target Speaker Separation
Arxiv
0+阅读 · 2022年10月23日
Partially Trusting the Service Mesh Control Plane
Arxiv
0+阅读 · 2022年10月23日
Multi-Modal Knowledge Graph Construction and Application: A Survey
Arxiv
79+阅读 · 2022年2月11日
A Survey on Knowledge Graph-Based Recommender Systems
Arxiv
92+阅读 · 2020年2月28日
How Powerful are Graph Neural Networks?
Arxiv
23+阅读 · 2018年10月1日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
情景
相关VIP内容
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
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
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【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】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
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日
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日
相关论文
View Birdification in the Crowd: Ground-Plane Localization from Perceived Movements
Arxiv
0+阅读 · 2022年10月25日
Fast Community Detection in Dynamic and Heterogeneous Networks
Arxiv
0+阅读 · 2022年10月24日
Causal Inference on Distribution Functions
Arxiv
0+阅读 · 2022年10月24日
Driver Locations Harvesting Attack on pRide
Arxiv
0+阅读 · 2022年10月24日
Knowledge Base Question Answering: A Semantic Parsing Perspective
Arxiv
0+阅读 · 2022年10月24日
Quantitative Evidence on Overlooked Aspects of Enrollment Speaker Embeddings for Target Speaker Separation
Arxiv
0+阅读 · 2022年10月23日
Partially Trusting the Service Mesh Control Plane
Arxiv
0+阅读 · 2022年10月23日
Multi-Modal Knowledge Graph Construction and Application: A Survey
Arxiv
79+阅读 · 2022年2月11日
A Survey on Knowledge Graph-Based Recommender Systems
Arxiv
92+阅读 · 2020年2月28日
How Powerful are Graph Neural Networks?
Arxiv
23+阅读 · 2018年10月1日
相关基金
过表达ERBB4的衰老间充质干细胞对心梗后心肌再生的保护作用
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
Bacillus megaterium Q3降解二氯喹啉酸分子机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
Kahler 曲面中特殊曲面的研究
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
云计算环境下数据中心的power capping关键问题研究
国家自然科学基金
0+阅读 · 2012年12月31日
面向属性的CPN建模及On the Fly辅助的测试生成方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
基于MEMS器件的微型化驻极体研究中的几个基本问题
国家自然科学基金
0+阅读 · 2011年12月31日
超灵敏化学发光DNA生物传感器的研制及在痕量肿瘤标志物检测中的应用
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top