*1951 is Gödel’s 1951 Gibbs lecture, "Some basic theorems on the foundations of mathematics and their implications."