首页 > TAG信息列表 > Hilbert
谓词逻辑的发展
古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世谓词逻辑发展
古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世