youzicha: jadagul:youzicha: One response to Gödel incompleteness is to postulate iterated...

youzicha : jadagul : youzicha : One response to Gödel incompleteness is to postulate iterated consistency statements: instead of just PA one can work in PA+CON(PA)+CON(PA+CON(PA)) , etc. Alan Turing’s phd thesis was about iterating this process transfinitely many times. I think at least the first few steps are usually considered unproblematic, we “know” PA is consistent, so we may as well…