否定中的肯定 逻辑的故事

《否定中的肯定：逻辑的故事》

一、 从“人机之战”谈起 //001
二、 演绎的科学 //007
三、 勒让德教授的失误 //015
四、 儿何王国的孪生三姐妹 //022
五、 否定中的肯定 //029
六、 异曲同工的证明方法 //036
七、 文恩氏的图形推理法 //043
八、 智力游戏的间接推理 //050
九、 巧解逻辑难题 //056
十、 尝试, 经验与信念的支柱 //069
十一、 步向真理的阶梯 //077
十二、 数学史上亘古未有的奇迹 //084

十三、 “外星人”的算术 //091
十四、 魔术“猜姓”的科学原理 //099
十五、 火柴游戏的决胜奥秘 //106
十六、 布尔先生的命题代数 //112
十七、 太极八卦与命题简化 //120
十八、 思维机器的“脑细胞” //128
十九、 开关电路与自动装置 //136
二十、 人脑与电脑, 思路与程序 //143
二十一、 神奇的射流技术 //151
二十二、 错觉的漩涡 //157
二十三、 识别伪科学 //164
二十四、 数学家和数学思维 //171