计算机起源的数学思想
路人甲Java
共 9025字,需浏览 19分钟
· 2020-12-14
![](https://filescdn.proginn.com/bf6ac5637d75a12ce770788452e7eaa9/0c041a2bb571f564375c25e6ccd6d293.webp)
![](https://filescdn.proginn.com/865c1321965e37d58d44a1ee62baf43b/a6c7ddc8b6bc8a6063bea179d1e0aeb9.webp)
![](https://filescdn.proginn.com/0962a8b706a050c696d33a302cbc220f/8fd7cc93da845ea487f520c5816fbfe8.webp)
莱布尼茨之梦
![](https://filescdn.proginn.com/88f141e6c0eb1ed647840cc9a3ec46a2/b0fc684628d294a5abbabb7b4693a51a.webp)
布尔的逻辑代数
![](https://filescdn.proginn.com/f7ff4b294341c328dce1dbbeea92c8df/9ec83831db9641d778e13fd332f33fdf.webp)
现在我们以逻辑代数的观点看这个式子,它体现了这样一个含义:没有任何东西可以同时属于又不属于某个类。这点让布尔十分振奋,因为这刚好体现了亚里士多德的排中律,这就使他确信自己找对了路子。
![](https://filescdn.proginn.com/3efedd723c07edb3897ef3af31331c49/ae2309f2d66398f86fbfefab13ceba99.webp)
所有y都是z y=yz
------------ ?
所有x都是z x=xz
x=xy
y=yz => x = xy = x(yz) = (xy)z = xz
![](https://filescdn.proginn.com/b80cdbc70bfae7de23d8ff959932412f/7c179fb8fd03c3c92d02fdb4d253b221.webp)
今天的布尔代数
AND | 1 0 ----------------------- 1 | 1 0 0 | 0 0
OR | 1 0 ----------------------- 1 | 1 1 0 | 1 0
NOT | -------------- 1 | 0 0 | 1
![](https://filescdn.proginn.com/3ad4c3ac0619b4d8854113cc6451a790/8576c53784b1d8e858a11eb7ebcb5de8.webp)
弗雷格的突破与绝望
![](https://filescdn.proginn.com/541cea1693c0a146f1e0330cd731991d/d2a1484756d1e52260c6d15c9b8138c9.webp)
康托尔,对无限的探索
![](https://filescdn.proginn.com/b144916e04bfac7f4aa51ecf1f01dcef/60b98b3c53421dbff81a6a83ca3efedf.webp)
大卫希尔伯特
![](https://filescdn.proginn.com/bfdae6a65e1e8cf9511feed9c23fd0b6/6055f2ab914beb2d698d6a23674c1928.webp)
哥德尔完备性定理
U说某个特殊命题在PM中不可证。
那个特殊的命题就是U本身。
因此,U说"U在PM中不可证"
图灵和图灵机
找到一种算法,判定一个给定的自然数是否属于集合D。
—THE END—
更多好文章
评论