理一下各位大仙们贡献

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。

1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。

2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。

3.弗雷格发行了形式句法，使后人可以用一种人造的语言来表示逻辑推理。

4.康托尔在对无限的探索中发明了对角线法，该方法是图灵等进行研究的工具之一。

5.希尔伯特提出了算术一致性。

6.在对算术一致性的证明中，哥德尔推翻了希尔伯特的推论，证明算术一致性不可证明，提出了不可判定命题。

7.20世纪最伟大的同性恋者（没有之一）图灵登场，提出了图灵机的数学概念，奠定了现代计算机学科的基石。

8.计算机传奇的时代开始了。

觉得在大一的时候，每一个专业最应该开设的课程是类似于学科史的东西，从该学科在人类历史上的萌芽开始讲起，把各个分支的成因基本思想牛人著作做一个总体的概述，也许这样才能真正地让学这个专业的人更好地去理解所学到的专业知识。