Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
Display:
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:

Display:

Top Diaries

A New Dawn In America

by Oui - Jan 20
49 comments

The Tory Brexit Pandemic

by Oui - Jan 23
6 comments

The Making of A Rebellion

by Oui - Jan 10
61 comments

China Releases Trump's Deck of Cards

by Oui - Jan 21
10 comments

Italian government collapse

by IdiotSavant - Jan 15
20 comments

Forever Corruption and A Pardon

by Oui - Jan 20
8 comments

Occasional Series