只要付出长年艰辛努力的人仍然能够得到认可,只要拥有知识的人总是能感觉到自己可以学以致用,那么知识就不会贬值,那么学术系统就仍然运行良好。从这个意义上来说,只要我们还在说sehr geehrter Herr Doktor X,那么知识就仍然是这个时代宝贵的财富,拥有知识的他们就仍然是这个...
We present a letter which Kurt Schütte sent in 1949 to his former de-facto PhD supervisor Paul Bernays. This letter contains an outline of the proof-theoretic methods which became standard in infinitary proof theory.doi:10.1007/978-3-030-49424-7_1Reinhard Kahle...