#causal-theory

? Kripke’s Gödel and Schmidt case: why would my word still pick out Gödel?

I teach mathematics in Delhi, and every year when we reach the incompleteness theorems one student asks the same thing: what if somebody else actually did it? This year I went looking and found that Kripke used exactly that scenario. The setup,…