会员服务
声明 · 数学 · 论文 ·
2022 年 7 月 30 日
On translating conditional statements into mathematical logic
翻译：将有条件的语句转换为数学逻辑
Kamaledin Ghiasi-Shirazi
Kamaledin Ghiasi-Shirazi

In this paper, we highlight a profound difference between conditional statements in mathematical logic and natural languages. This difference exists even when the conditional statements are used in mathematical theorems.


翻译：在本文中,我们强调数学逻辑的有条件声明与自然语言之间的深刻差别,即使在数学理论中使用有条件声明时,这种差别也存在。
0
下载
关闭预览

相关内容

因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
161+阅读 · 2020年1月16日
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日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
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日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 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
待字闺中
17+阅读 · 2018年12月24日
基于PERK/elF2α通路研究针刺调控MCAO/R大鼠内质网应激-自噬稳态重构的分子机制
国家自然科学基金
0+阅读 · 2015年12月31日
五脏温阳化瘀汤对PI3K/Akt-mTOR通路介导动脉粥样硬化型血管性痴呆自噬与凋亡的效应机制
国家自然科学基金
0+阅读 · 2014年12月31日
大学生实习失度性研究
国家自然科学基金
1+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
施工区道路网络动态可靠性研究
国家自然科学基金
0+阅读 · 2013年12月31日
BRCA1蛋白出核的分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
针刺干预内质网应激调节脑缺血再灌注大鼠神经细胞自噬的分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
缺血脑损伤中TRPM7/ChaK1介导神经元Annexin 1膜转位及分泌在小胶质细胞活化中的作用
国家自然科学基金
0+阅读 · 2011年12月31日
基于ICA方法的针刺穴位点特异性研究
国家自然科学基金
0+阅读 · 2009年12月31日
磁性Pickering乳液界面流变学研究
国家自然科学基金
0+阅读 · 2008年12月31日
Speeding Up Action Recognition Using Dynamic Accumulation of Residuals in Compressed Domain
Arxiv
0+阅读 · 2022年9月29日
From Theories on Styles to their Transfer in Text: Bridging the Gap with a Hierarchical Survey
Arxiv
0+阅读 · 2022年9月29日
Effective General-Domain Data Inclusion for the Machine Translation Task by Vanilla Transformers
Arxiv
0+阅读 · 2022年9月28日
Activation Learning by Local Competitions
Arxiv
0+阅读 · 2022年9月26日
A Survey of Deep Causal Model
Arxiv
45+阅读 · 2022年9月19日
Generalizing to Unseen Domains: A Survey on Domain Generalization
Arxiv
30+阅读 · 2021年3月10日
The Causal Learning of Retail Delinquency
Arxiv
14+阅读 · 2020年12月17日
A Mathematical Introduction to Generative Adversarial Nets (GAN)
A Mathematical Introduction to Generative Adversarial Nets (GAN)
Arxiv
27+阅读 · 2020年9月1日
A Survey on Causal Inference
Arxiv
110+阅读 · 2020年2月5日
Causality for Machine Learning
Arxiv
22+阅读 · 2019年11月24日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
声明
数学
论文
相关VIP内容
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
161+阅读 · 2020年1月16日
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日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
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日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 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
待字闺中
17+阅读 · 2018年12月24日
相关论文
Speeding Up Action Recognition Using Dynamic Accumulation of Residuals in Compressed Domain
Arxiv
0+阅读 · 2022年9月29日
From Theories on Styles to their Transfer in Text: Bridging the Gap with a Hierarchical Survey
Arxiv
0+阅读 · 2022年9月29日
Effective General-Domain Data Inclusion for the Machine Translation Task by Vanilla Transformers
Arxiv
0+阅读 · 2022年9月28日
Activation Learning by Local Competitions
Arxiv
0+阅读 · 2022年9月26日
A Survey of Deep Causal Model
Arxiv
45+阅读 · 2022年9月19日
Generalizing to Unseen Domains: A Survey on Domain Generalization
Arxiv
30+阅读 · 2021年3月10日
The Causal Learning of Retail Delinquency
Arxiv
14+阅读 · 2020年12月17日
A Mathematical Introduction to Generative Adversarial Nets (GAN)
A Mathematical Introduction to Generative Adversarial Nets (GAN)
Arxiv
27+阅读 · 2020年9月1日
A Survey on Causal Inference
Arxiv
110+阅读 · 2020年2月5日
Causality for Machine Learning
Arxiv
22+阅读 · 2019年11月24日
相关基金
基于PERK/elF2α通路研究针刺调控MCAO/R大鼠内质网应激-自噬稳态重构的分子机制
国家自然科学基金
0+阅读 · 2015年12月31日
五脏温阳化瘀汤对PI3K/Akt-mTOR通路介导动脉粥样硬化型血管性痴呆自噬与凋亡的效应机制
国家自然科学基金
0+阅读 · 2014年12月31日
大学生实习失度性研究
国家自然科学基金
1+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
施工区道路网络动态可靠性研究
国家自然科学基金
0+阅读 · 2013年12月31日
BRCA1蛋白出核的分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
针刺干预内质网应激调节脑缺血再灌注大鼠神经细胞自噬的分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
缺血脑损伤中TRPM7/ChaK1介导神经元Annexin 1膜转位及分泌在小胶质细胞活化中的作用
国家自然科学基金
0+阅读 · 2011年12月31日
基于ICA方法的针刺穴位点特异性研究
国家自然科学基金
0+阅读 · 2009年12月31日
磁性Pickering乳液界面流变学研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top