This is a critical analysis of the first part of Gödel’s 1951 Gibbs lecture on certain philosophical consequences of the incompleteness theorems. Gödel’s discussion is framed in terms of a distinction between objective mathematics and subjective mathematics, according to which the former consists of the truths of mathematics in an absolute sense, and the latter consists of all humanly demonstrable truths. The question is whether these coincide; if they do, no formal axiomatic system (or Turing… CONTINUE READING