数理逻辑量词的引入
2015-06-28 01:43
393 查看
虽然数学科普是我的心愿,但是科普数学确实存在一定的实际困难。为什么呢?
科普数学需要一套公认的数学语言,也就是说,使用一套符号体系表达意思。但是,数学符号不是一般人生来就懂得的,而且比较难于记忆。
比如,量词(Quantifer)符号“∃”与“∀”,前者表示“存在”;后者表示“所有”。这两个怪怪的符号源自意大利大数学家Peano的手笔。“∃”是拉丁字母“E”从右向左翻转而得到,字母E是Exist(存在)的字头;而“∀”是拉丁字母“A”从下向上翻转而得到,字母A是All(所有)的字头。
我们有了上述量词符号“∃”与“∀”,问题就好办了。比如符号表达式:1)∃x{P(x)|x∈A};;
2)∀y{Q(y)|y∈B}。
上述符号表达式1)和2)又叫做符号命题。表达式1)的意思是“在集合A中,存在一个元素x满足命题P;表达式2)的意思是”在集合B中,所有的元素y都满足命题Q。但是,这两个命题P与Q的“逻辑真值”可能是“真”,也可能是“假”。
命题P与Q有什么具体意义呢?没有,绝对没有。现代数理逻辑研究的对象是抽象的,没有特定的内容。数学不是物理,两者有区别。
看上去,数学就是一堆奇奇怪怪的符号,外人不知搞的是什么名堂。如果科普数学对读者有益处,那么,需要读者的理解、配合与发挥想象力,一块儿“使劲”才行!
袁萌
6月28日
科普数学需要一套公认的数学语言,也就是说,使用一套符号体系表达意思。但是,数学符号不是一般人生来就懂得的,而且比较难于记忆。
比如,量词(Quantifer)符号“∃”与“∀”,前者表示“存在”;后者表示“所有”。这两个怪怪的符号源自意大利大数学家Peano的手笔。“∃”是拉丁字母“E”从右向左翻转而得到,字母E是Exist(存在)的字头;而“∀”是拉丁字母“A”从下向上翻转而得到,字母A是All(所有)的字头。
我们有了上述量词符号“∃”与“∀”,问题就好办了。比如符号表达式:1)∃x{P(x)|x∈A};;
2)∀y{Q(y)|y∈B}。
上述符号表达式1)和2)又叫做符号命题。表达式1)的意思是“在集合A中,存在一个元素x满足命题P;表达式2)的意思是”在集合B中,所有的元素y都满足命题Q。但是,这两个命题P与Q的“逻辑真值”可能是“真”,也可能是“假”。
命题P与Q有什么具体意义呢?没有,绝对没有。现代数理逻辑研究的对象是抽象的,没有特定的内容。数学不是物理,两者有区别。
看上去,数学就是一堆奇奇怪怪的符号,外人不知搞的是什么名堂。如果科普数学对读者有益处,那么,需要读者的理解、配合与发挥想象力,一块儿“使劲”才行!
袁萌
6月28日
相关文章推荐
- 触屏插件
- 镁光256Gb NAND Flash芯片介绍
- Codeforces Round #310 (Div. 2) A. Case of the Zeros and Ones 水题
- [转]献给迷茫的大多数
- java.io.Writer
- Oracle下的IF EXISTS()
- 进程的等待wait() --多进程编程
- Glibc configure problem: fails sanity check.
- LeetCode Pow(x, n)
- CRC32 Source Code
- 探究requestDisallowInterceptTouchEvent失效的原因
- Android点击20150628_必学必下载
- IOS初体验-Tom猫的开发
- LeetCode_Stack_Largest Rectangle in Histogram
- 灵悟礼品网上专卖店——总结
- Runtime.getRuntime().exec()----记录日志案例
- Codeforces Round #310 (Div. 1) B. Case of Fugitive set
- 数学之美-阅读笔记
- Java基础:动态代理在RPC框架中应用
- Oracle ->> ENABLE VALIDATE & DISABLE VALIDATE