Löb’s theorem and Chaitin’s constant are in the same family of weirdness, so I think it is likely relevant, but not for a ‘new’ reason, if that makes sense.
Löb’s theorem and Chaitin’s constant are in the same family of weirdness, so I think it is likely relevant, but not for a ‘new’ reason, if that makes sense.