图宾根 相关话题

本网讯（通信员 前锋）1月 15日晚，图宾根大学Reinhard Kahle教授作了题目为“何为一致性解说以及它们应该是什么（What are consistency proofs and what should they be）”的呈报。Kahle教授是海外科学玄学谋划院的安靖成员和副主席小母狗 文爱，谋划界限包括数理逻辑、解说论、数学玄学、科学玄学等。讲座由我院程勇教授主抓，本次讲座线上参与者达280余东说念主次。 Kahle教授从历史的角度回来了一百多年来一致性解说的发源和发展。他可贵先