十年后，2018年，我才彻底看明白图灵和哥德尔的文章，把逻辑学的课补了 1918年，维特根斯坦在参加一战，也是写逻辑学 不过我从一开始就知道逻辑学不是一个实用性强的先验