首页 期刊 资源节约和综合利用 逻辑的困惑 【正文】

逻辑的困惑

作者:胡作玄
数理逻辑   计算机   科技成就   哥德尔   诺伊曼  

摘要:一位研究数理逻辑的朋友告诉我,20世纪四位最有影响的思想家当中,有三位同逻辑有关,这让他十分自豪。这三位是哥德尔、冯·诺伊曼和图灵。显然,后两位的名气要比哥德尔大,他们都是计算机时代的奠基者,而且都亲自参与制造最早的计算机。计算机恐怕是20世纪的头号科技成就了。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社