概率元数学与真理的可定义性

10月15日，保罗·克里斯蒂安诺在哈佛大学展示了“概率元数学和真理的可定义性”哈佛大学的逻辑(细节在这里）．作为解释在这里，克里斯汀诺提出了这种方法的想法，并进一步发展了一系列金宝博官方 ．

讲座录像现已上载:

由于摄像头的问题，视频偶尔会模糊，但仍然足够清晰。