Gödel's modernism: on set-theoretic incompleteness
Résumé
On Friday, November 15, 1940, Kurt Godel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor's Continuum Hypothesis, henceforth CH, with the axiomatic system for set theory ZFC. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness.