Old News

The fact that some of Gödel's undecidable statements were about natural numbers is old news. The new part is that now some of them are understandable to mathematicians who aren't specialists in the subject. Actually, that is big news to those of us who used to suspect that logicians pulled their statements out of a vulgar body aperture just to be ornery.

The news article was seen via Orin Judd, who thinks it's a defense of theology. Come to think of it, even that interpretation is old news. I'm reminded of Paul Gordan's statement:

Das ist nicht Mathematik. Das ist Theologie.

There was even a theological doctrine that inspired a mathematician or two.