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