3 ms·
Maybe the GP is referring to something like Chapter 5 of Chaitin's Meta Math!. https://arxiv.org/pdf/math/0404335.pdf https://arxiv.org/pdf/math/0404335.pdf
by floxy 4y ago
Maybe the GP is referring to something like Chapter 5 of Chaitin's Meta Math!.
https://arxiv.org/pdf/math/0404335.pdf https://arxiv.org/pdf/math/0404335.pdf