Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
Gödel proved the incompleteness of Arithmetic.  Specifically, he demonstrated that in any axiomatic system capable of Arithmetic there are statements that can neither be proved or disproved within the axioms.

To fully understand what that meant and means requires an understanding of what Logic and Mathematics were 'on about' from around 1870 to l933.  To (greatly) simplify, Frege, Hilbert, Russell, Whitehead, & All That Crew were attempting to construct an intellectual tool that would always, when correctly used, derive a True and Valid answer.  

Gödel's Proof = You Can't.

She believed in nothing; only her skepticism kept her from being an atheist. -- Jean-Paul Sartre

by ATinNM on Wed Jan 2nd, 2008 at 10:56:09 PM EST
[ Parent ]

Others have rated this comment as follows:


Occasional Series