= 27d567bc2d48d9f40e9ccc20ea370b15)
chaosmosis comments on The Fabric of Real Things - 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 (305)
But mixing "certain computation" and "discover" like that is mixing syntax and semantics - in order to watch out for that occurrence, you'd have to be aware of all possible semantics for a certain computation, to know if it counts as a "discovery".
Yeah, thanks. This is part of what I was trying to get at. And I'm further contending that if the semantics for every possible scientific experiment were invalidated, then in doing so the hypothetical Great Psychicator would also have to invalidate the semantics for any legitimate claims that psychic powers worked. The two categories overlap perfectly.
This isn't intended to be an argument from definition, I hope that is also clear.