摘要:Emil Leon Post(数学家与逻辑学家 1897-1954)是第一个制定了利用符号来表示逻辑的推理系统——作为一个推论,他证明了任何逻辑系统(包括数学)能够被这样的一个符号系统来表达。标记系统是[阅读全文]