当年的图灵写《论可计算数》的动机?
是解决德国数学家大卫·希尔伯特(1862一1943)构想的一个问题.
希尔伯特寻找一种通用的方法来判定数理逻辑中的任意命题是否可证明.
寻找这种"通用的方法"被称为判定性问题.
BCJC 6o 《图灵的秘密》读书笔记2
最新推荐文章于 2021-11-04 09:23:05 发布
当年的图灵写《论可计算数》的动机?
是解决德国数学家大卫·希尔伯特(1862一1943)构想的一个问题.
希尔伯特寻找一种通用的方法来判定数理逻辑中的任意命题是否可证明.
寻找这种"通用的方法"被称为判定性问题.