116 citations · 204 across the 4 of their papers we have counts for
1 paper · 2 filters
Shira Kritchman, Ran Raz
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examina…