We know that mathematicians care no more for logic than logicians for mathematics. The two eyes of exact science are mathematics and logic, the mathematical sect puts out the logical eye, the logical sect puts out the mathematical eye; each believing that it sees better with one eye than with two. ...
谈到类型论,就不得不谈到一本书,一本计算机程序员狂热推崇的书:《计算机程序的结构与解释》(Structure and Interpretation of Computer Programming,简称SICP)。 对于不了解计算机专业的人来说,这本书也许就是一本和其它专业书籍一样的入门教科书,和外行人无关;而计算机专业或者正在从事IT产业的专业人员则 ...