= 27d567bc2d48d9f40e9ccc20ea370b15)
ike comments on Rationality Quotes Thread August 2015 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (222)
Beyond all doubt sounds fairly dogmatic, no? Godel proved in 1931 that Hilbert's program for a solid mathematical foundation (circa 1900) was impossible.
Not everything can be proven, but those that are are proven beyond (virtually all) doubt.