Don't have Telegram yet? Try it now!
https://tddpirate.zak.co.il/2006/02/20/uncertainty-of-truth-of-mathematical-proofs/
Uncertainty of truth of mathematical proofs