BCJC 59弗雷格与可计算数
作者:互联网
弗雷格(1848∽1925)德国数学家、逻辑学家.哲学家.是分析哲学的奠基人.
众周所知.数学是最具气质的学科.自毕达哥拉斯提出万物皆数.希望把数理逻辑视为世界运行的机制.
弗雷格作为数理逻辑的创史人.他继承了莱布尼兹计划.
他想用某种不用逻辑的方法来发展逻辑.他用精确的语法规则或句子规则.把概念文字发展成一种人工语言.他的方法直接促使图灵构建出可计算思想.
他试图找到一种全部演泽推理的逻辑关系.并想以其逻辑为基础把代数构造出来.
标签:逻辑,演泽,59,BCJC,弗雷格,规则,数理逻辑 来源: https://blog.csdn.net/weixin_44848160/article/details/120727799