@euclideanpoet I agree that has merit, but funny thing is, that reminds me of a couple articles #Chaitin wrote a couple decades back, the thrust of which was to make a case that pure #mathematicians have ignored #Godel too much, and that the pursuit of #proofs is at least partially a fool's game in the long run.
And I had the exact same reaction as you did to this, but in the opposite direction.
#theory #maths #math #proofs #godel #mathematicians #chaitin