30 citations · 30 across the 1 of their papers we have counts for
1 paper · 1 filter
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…