youtube上有一个Jan von Plato的视频，展示了1928年Gödel的手稿里一段自然演绎证明，使用的是flat书写风格，即fitch风格。在这个时间点，Gerhard Gentzen还没有发明自然演绎呢[二哈]
发布于 上海
概念机器
youtube上有一个Jan von Plato的视频，展示了1928年Gödel的手稿里一段自然演绎证明，使用的是flat书写风格，即fitch风格。在这个时间点，Gerhard Gentzen还没有发明自然演绎呢[二哈]