The Last Word on Godel's Proof (Hopefully!)

I’m hearing more and more people these days, including even some of my friends, discussing just what exactly “Godel’s Proof” is. (I think it’s pronounced Gehr-dul, like it’s being said by a German with a lot of phlegm.) Well hell, I just looked it up in the dictionary, and here’s what it says:

“… a mathematical proof that under a specified consistency condition, any sufficiently strong formal axiomatic system must contain a proposition such that neither it nor its negation is provable and that any consistency proof for the system must use ideas and methods beyond those of the system itself."

Okay, can we move on to something else now? Please!

* * * * *

Excuse me, Mr. Springsteen, could you come in now please. It's time. Won't you please welcome Our Duncan Funk Song of the Day. Click on the song title to see the video.

Title: Long Walk Home
Artist: Bruce Springsteen
Album: Magic