The European Tribune is a forum for thoughtful dialogue of European and international issues. You are invited to post comments and your own articles.
Please REGISTER to post.
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 moving to the Second Order, on the other hand, the True/False OR False/True oscillation is, sometimes, capable of resolution.
But that, very often, takes you outside the original axiomatic system. She believed in nothing; only her skepticism kept her from being an atheist. -- Jean-Paul Sartre
That was the sailing-over-the-edge moment.
Now it may be that arithmetic really is consistent, but that is another truth function that is "uncomputable." The Fates are kind.
by Frank Schnittger - Jan 14 48 comments
by Oui - Jan 20 49 comments
by Oui - Jan 23 6 comments
by gmoke - Jan 22
by Oui - Jan 10 61 comments
by Oui - Jan 21 10 comments
by IdiotSavant - Jan 15 20 comments
by Oui - Jan 20 8 comments
by Oui - Jan 236 comments
by Oui - Jan 2110 comments
by Oui - Jan 2049 comments
by Oui - Jan 208 comments
by Oui - Jan 172 comments
by Oui - Jan 1610 comments
by gmoke - Jan 16
by IdiotSavant - Jan 1520 comments
by Oui - Jan 1435 comments
by Frank Schnittger - Jan 1448 comments
by Oui - Jan 1389 comments
by Oui - Jan 1177 comments
by Oui - Jan 1061 comments
by Frank Schnittger - Jan 877 comments
by Oui - Jan 772 comments
by Frank Schnittger - Jan 710 comments
by Frank Schnittger - Jan 668 comments
by Frank Schnittger - Jan 611 comments
by Oui - Jan 659 comments