因误解而过度期望的数学逻辑(mathematical logic)

它只琢磨我们表达清楚了的东西。
因此,数学逻辑很适合用来教会机器以模拟人的行为,而很难用来指望它主导人本身的抽象行为。
但,恰好在何谓清楚的意义指证上,思考数学基础的数学逻辑,试图扮演意义终结者的角色。

Syndicate content Syndicate content