c*******v 发帖数: 2599 | 1 [1]
我从中学开始,就怀疑科普:一本书,几行ENIAC。
然后整篇整篇的冯诺依曼。
第一台电子计算机跟冯诺依曼有个屁的关系。但是那故事写的,
就好象冯诺依曼在火车上遇到了几个美国小丑,然后救了他们似的。
而且作者描述的就跟他当时在场一样,什么约翰,鲍伯之类的围着冯诺依曼。
实际上,冯诺依曼那时候跟我们一样,移民过来要找钱啊!
那几个美国人才是企业家或者老板好吗。
(我从中学开始就创作诗歌。诗人是很难被骗的。瞎编的故事,你很难写出节奏。)
[2]
从实际情况来判断。没有美国之前的工具和工艺,以及数学,逻辑的积累。第一台电子
计算机
是不可能造出来的。(30年代德国有个机械式的计算机。那哥们后来卖给了西门子。)
======
Peirce的著作太多。我读了这几个星期,总算读到他和他的学生发明的电力(!)计算
机。逻辑上来讲,Peirce是第一个发现NOR/NAND可以搞定所有二元关系的人。据此设计
逻辑
计算机就顺理成章了。这是第一个电力逻辑机。
电路图:
history-computer.com/ModernComputer/thinkers/images/Marquand1.jpg
文章发在美国心理学会杂志上:
Logical Machines
American Journal of Psychology I (1887), page 165-170 | g****t 发帖数: 31659 | 2 下面这个timeline是Arthur Burk写的。
https://projecteuclid.org/download/pdf_1/euclid.bams/1183541145
Timeline of this topic:
1. Peirce stimulated Alan Marquand to invent and build a mechanical logic
machine superior to that of William Stanley Jevons. This machine is
described in Peirce's Logical machines, vol. Ill, pt. 1, pp. 625-632.
2. This machine was built in the early 1880s. At about the same time, Peirce
conceived the sufficiency of "not-and" and "not-or," together with the use
of
a truth-table as a decision procedure for tautologyhood.
3. In a letter to Marquand dated 1886 Peirce suggested the use of relays for
Marquand's machine and showed how to achieve "and" and "or" with relays.
".. . it is by no means hopeless .. . to make a machine for really very
difficult mathematical problems (ibid., p. 632).
4. Marquand then prepared a wiring diagram for a relay version of his
mechanical logic machine.
5. In 1900, Peirce stated that a computer could enumerate all the theorems
of axiomatic arithmetic, thus anticipating the 20th century identification
of
logic with computers. See Our senses as reasoning machines, vol. Ill, pt. 2,
pp.
1114—1115.
【在 c*******v 的大作中提到】 : [1] : 我从中学开始,就怀疑科普:一本书,几行ENIAC。 : 然后整篇整篇的冯诺依曼。 : 第一台电子计算机跟冯诺依曼有个屁的关系。但是那故事写的, : 就好象冯诺依曼在火车上遇到了几个美国小丑,然后救了他们似的。 : 而且作者描述的就跟他当时在场一样,什么约翰,鲍伯之类的围着冯诺依曼。 : 实际上,冯诺依曼那时候跟我们一样,移民过来要找钱啊! : 那几个美国人才是企业家或者老板好吗。 : (我从中学开始就创作诗歌。诗人是很难被骗的。瞎编的故事,你很难写出节奏。) : [2]
|
|