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