曾与John von Neumann共事(事实上,在John von Neumann去世后整理了他的论文)的著名学者[[亚瑟·伯克 Arthur Burks]]领导了密歇根大学的“计算机逻辑小组 Logic of Computers Group”。他把19世纪美国思想家[[查尔斯·桑德斯·皮尔斯 Charles Sanders Peirce]]被忽视的观点带入现代。Peirce坚信自然界的一切活动都是基于逻辑的(尽管并不总是演绎逻辑)。 | 曾与John von Neumann共事(事实上,在John von Neumann去世后整理了他的论文)的著名学者[[亚瑟·伯克 Arthur Burks]]领导了密歇根大学的“计算机逻辑小组 Logic of Computers Group”。他把19世纪美国思想家[[查尔斯·桑德斯·皮尔斯 Charles Sanders Peirce]]被忽视的观点带入现代。Peirce坚信自然界的一切活动都是基于逻辑的(尽管并不总是演绎逻辑)。 |