I thought this writeup was quite good. Anyway, anyone interested in this is also likely interested in Rosser's theorem: https://scottaaronson.blog/?p=710 https

I thought this writeup was quite good. Anyway, anyone interested in this is also likely interested in Rosser's theorem: https://scottaaronson.blog/?p=710 https://scottaaronson.blog/?p=710