计算机起源的数学思想
数学算法俱乐部
共 9050字,需浏览 19分钟
· 2020-09-20
日期:2020年09月19日
正文共:8999字12图
预计阅读时间:9分钟
来源:YK芽课
![](https://filescdn.proginn.com/4608dcf3869fd267e97617dbff591508/cc8a1b70dcde061b1dd8ff1b37b0a598.webp)
![](https://filescdn.proginn.com/264f19bc335925746c47b30bfb2eb73b/a0167e08348c2775347fa1d81aa41831.webp)
![](https://filescdn.proginn.com/92a1417d70f3c42971f6a156fbdd76ed/be8ec2448fba5af4186d5663009ee50f.webp)
![](https://filescdn.proginn.com/05c44a57f2a569b88641ab84007b7675/3b70b19f8bd2e6221b02ef6a1c400e18.webp)
莱布尼茨之梦
![](https://filescdn.proginn.com/07150b9d9cd2b4f4befec08bbe0ef5de/95dce42273bec88900b92cc0c434d97a.webp)
布尔的逻辑代数
![](https://filescdn.proginn.com/0a4551bb5baa13917fdda3e6e5b8e100/63ffed28d37f4debe7174c1cc5fda112.webp)
现在我们以逻辑代数的观点看这个式子,它体现了这样一个含义:没有任何东西可以同时属于又不属于某个类。这点让布尔十分振奋,因为这刚好体现了亚里士多德的排中律,这就使他确信自己找对了路子。
![](https://filescdn.proginn.com/72adbb15c5a96b731e012d1984d32588/e1c73e440a5814c21cb8745a5e89967d.webp)
所有y都是z y=yz
------------ ?
所有x都是z x=xz
x=xy
y=yz => x = xy = x(yz) = (xy)z = xz
![](https://filescdn.proginn.com/a810aedebcec8668807a8dbaf2efc585/dee78c00fbf14742e8278af69cdeb857.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/81a34820c4b569427c40da0a002fe1f7/41a1108bf94247dc108095c7a6179c6f.webp)
弗雷格的突破与绝望
![](https://filescdn.proginn.com/8c49ec104bf6a7e831fa1ad5d60c3a66/df266c152698fd62b5b9f57082419f62.webp)
康托尔,对无限的探索
![](https://filescdn.proginn.com/1112978c64c9fb1faf14af8fb320c9e8/0e9093a1733ff3f223d467216a1d6561.webp)
大卫希尔伯特
![](https://filescdn.proginn.com/dd98e0a79a4bda0fd3b365ce519b74dc/c7554bc418a26c3edf4d7a914644cc51.webp)
哥德尔完备性定理
U说某个特殊命题在PM中不可证。
那个特殊的命题就是U本身。
因此,U说"U在PM中不可证"
图灵和图灵机
找到一种算法,判定一个给定的自然数是否属于集合D。
— THE END —
![](https://filescdn.proginn.com/e73c4e459ead8afdc3543c0ef9219d0f/a32b8cf1a66fd6702fe7499742bd5798.webp)
评论