= 27d567bc2d48d9f40e9ccc20ea370b15)
pragmatist comments on The Useful Idea of Truth - Less Wrong
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 (513)
If a person with access to the computer simulating whichever universe (or set of universes) a belief is about could in principle write a program that takes as input the current state of the universe (as represented in the computer) and outputs whether the belief is true, then the belief is meaningful.
(if the universe in question does not run on a computer, begin by digitizing your universe, then proceed as above)
Doesn't this commit you to the claim that at least some beliefs about whether or not a particular Turing machine halts must be meaningless? If they are all meaningful and your criterion of meaningfulness is correct, then your simulating computer solves the halting problem. But it seems implausible that beliefs about whether Turing machines halt are meaningless.