【轉】計算機思惟，數學思惟，本質的區別

計算機思惟和數學思考，都包括了抽象和邏輯。 數學的抽象，在於剝離具體。數學研究從公理出發，能夠變成純思惟的活動，和具體的的現實脫離關係。數學上的人爲」定義」，就是爲了儘量給出範圍明確，不冗餘的信息抽象。之後在利用這些信息，得出範圍明確不冗餘的抽象信息(證實的過程)，如此反覆。可見這裏，數學須要的是一個自洽信息結構和關係。這些信息是架空具體和現實的。雖然，數學在極力的尋找關係，但這個行爲發生在圈定好

>>阅读原文<<