会员服务
正则的 · MoDELS ·
2021 年 4 月 26 日
Zaionc paradox revisited
翻译：重新讨论Zaionc悖论
Pierre Lescanne
Pierre Lescanne

Canonical expressions are representative of implicative propositions upto renaming of variables. In this paper we explore, using a Monte-Carlo approach, the model of canonical expressions in order to confirm the paradox that says that asymptotically almost all classical theorems are intuitionistic.


翻译：罐头表达方式代表了从变数改名的隐含主张。 在本文中,我们用蒙特-卡洛方法探索了卡通表达方式的模式,以证实自相矛盾的说法,即几乎所有古典理论都具有直觉性。
0
下载
关闭预览

相关内容

【经典书】计算最优传输，209页pdf，Computational Optimal Transport
【经典书】计算最优传输，209页pdf，Computational Optimal Transport
专知会员服务
74+阅读 · 2021年1月10日
【RLChina2020公开课】Lecture-11.pdf【多智能体学习与游戏AI前沿】
【RLChina2020公开课】Lecture-11.pdf【多智能体学习与游戏AI前沿】
专知会员服务
26+阅读 · 2020年8月6日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【报告推荐】三维及超几何处理中的几何与数据学习（Geometry and Learning from Data in 3D and Beyond - Geometric Processing ）
【报告推荐】三维及超几何处理中的几何与数据学习（Geometry and Learning from Data in 3D and Beyond - Geometric Processing ）
专知会员服务
10+阅读 · 2019年11月10日
【O'Reilly AI Conference 2019】当飞行比停下便宜时，When flying is cheaper than standing still，苏黎世联邦理工学院Raffaello D'Andrea教授
【O'Reilly AI Conference 2019】当飞行比停下便宜时，When flying is cheaper than standing still，苏黎世联邦理工学院Raffaello D'Andrea教授
专知会员服务
13+阅读 · 2019年11月5日
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日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【ICML2019 tutorial】主动学习:从理论到实践（Active Learning: From Theory to Practice），Robert Nowak，Steve Hanneke
【ICML2019 tutorial】主动学习:从理论到实践（Active Learning: From Theory to Practice），Robert Nowak，Steve Hanneke
专知会员服务
47+阅读 · 2019年6月10日
已删除
已删除
将门创投
6+阅读 · 2019年9月3日
计算机 | ISMAR 2019等国际会议信息8条
计算机 | ISMAR 2019等国际会议信息8条
Call4Papers
3+阅读 · 2019年3月5日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
【TED】什么让我们生病
【TED】什么让我们生病
英语演讲视频每日一推
7+阅读 · 2019年1月23日
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日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
On the Convergence of Deep Learning with Differential Privacy
Arxiv
0+阅读 · 2021年6月15日
Scaling Deep Contrastive Learning Batch Size under Memory Limited Setup
Arxiv
0+阅读 · 2021年6月14日
The k-mappability problem revisited
Arxiv
0+阅读 · 2021年6月13日
Redirected Walking in Static and Dynamic Scenes Using Visibility Polygons
Arxiv
0+阅读 · 2021年6月12日
Neural Active Learning with Performance Guarantees
Arxiv
0+阅读 · 2021年6月6日
RIDnet: Radiologist-Inspired Deep Neural Network for Low-dose CT Denoising
Arxiv
0+阅读 · 2021年5月15日
Rethinking Network Pruning -- under the Pre-train and Fine-tune Paradigm
Arxiv
0+阅读 · 2021年4月18日
Software Startup Practices -- Software Development in Startups through the Lens of the Essence Theory of Software Engineering
Arxiv
0+阅读 · 2021年2月11日
Inferred successor maps for better transfer learning
Inferred successor maps for better transfer learning
Arxiv
3+阅读 · 2019年7月2日
SepNE: Bringing Separability to Network Embedding
SepNE: Bringing Separability to Network Embedding
Arxiv
3+阅读 · 2019年2月26日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
正则的
MoDELS
相关VIP内容
【经典书】计算最优传输，209页pdf，Computational Optimal Transport
【经典书】计算最优传输，209页pdf，Computational Optimal Transport
专知会员服务
74+阅读 · 2021年1月10日
【RLChina2020公开课】Lecture-11.pdf【多智能体学习与游戏AI前沿】
【RLChina2020公开课】Lecture-11.pdf【多智能体学习与游戏AI前沿】
专知会员服务
26+阅读 · 2020年8月6日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【报告推荐】三维及超几何处理中的几何与数据学习（Geometry and Learning from Data in 3D and Beyond - Geometric Processing ）
【报告推荐】三维及超几何处理中的几何与数据学习（Geometry and Learning from Data in 3D and Beyond - Geometric Processing ）
专知会员服务
10+阅读 · 2019年11月10日
【O'Reilly AI Conference 2019】当飞行比停下便宜时，When flying is cheaper than standing still，苏黎世联邦理工学院Raffaello D'Andrea教授
【O'Reilly AI Conference 2019】当飞行比停下便宜时，When flying is cheaper than standing still，苏黎世联邦理工学院Raffaello D'Andrea教授
专知会员服务
13+阅读 · 2019年11月5日
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日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【ICML2019 tutorial】主动学习:从理论到实践（Active Learning: From Theory to Practice），Robert Nowak，Steve Hanneke
【ICML2019 tutorial】主动学习:从理论到实践（Active Learning: From Theory to Practice），Robert Nowak，Steve Hanneke
专知会员服务
47+阅读 · 2019年6月10日
热门VIP内容
相关资讯
已删除
已删除
将门创投
6+阅读 · 2019年9月3日
计算机 | ISMAR 2019等国际会议信息8条
计算机 | ISMAR 2019等国际会议信息8条
Call4Papers
3+阅读 · 2019年3月5日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
【TED】什么让我们生病
【TED】什么让我们生病
英语演讲视频每日一推
7+阅读 · 2019年1月23日
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日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
相关论文
On the Convergence of Deep Learning with Differential Privacy
Arxiv
0+阅读 · 2021年6月15日
Scaling Deep Contrastive Learning Batch Size under Memory Limited Setup
Arxiv
0+阅读 · 2021年6月14日
The k-mappability problem revisited
Arxiv
0+阅读 · 2021年6月13日
Redirected Walking in Static and Dynamic Scenes Using Visibility Polygons
Arxiv
0+阅读 · 2021年6月12日
Neural Active Learning with Performance Guarantees
Arxiv
0+阅读 · 2021年6月6日
RIDnet: Radiologist-Inspired Deep Neural Network for Low-dose CT Denoising
Arxiv
0+阅读 · 2021年5月15日
Rethinking Network Pruning -- under the Pre-train and Fine-tune Paradigm
Arxiv
0+阅读 · 2021年4月18日
Software Startup Practices -- Software Development in Startups through the Lens of the Essence Theory of Software Engineering
Arxiv
0+阅读 · 2021年2月11日
Inferred successor maps for better transfer learning
Inferred successor maps for better transfer learning
Arxiv
3+阅读 · 2019年7月2日
SepNE: Bringing Separability to Network Embedding
SepNE: Bringing Separability to Network Embedding
Arxiv
3+阅读 · 2019年2月26日
Top
微信扫码咨询专知VIP会员
Top