= 27d567bc2d48d9f40e9ccc20ea370b15)
Sniffnoy comments on Gödel and Bayes: quick question - 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 (36)
It's not about what you can prove, it's what you can state. The first-order theory of the reals doesn't even have the concepts to state such a thing. If your base theory is the reals, then sets of reals are a second-order notion.