←back to thread

UBCO study disproves the simulation hypothesis

(news.ok.ubc.ca)
21 points mxkopy | 1 comments | 02 Nov 25 19:24 UTC | HN request time: 0.207s | source
Show context
moi2388 ◴[03 Nov 25 06:25 UTC] No.45796374[source]▶
“ Here’s a basic example using the statement, “This true statement is not provable.” If it were provable, it would be false, making logic inconsistent. If it’s not provable, then it’s true, but that makes any system trying to prove it incomplete”

Only if you assume the law of the excluded middle, right?

Statements aren’t just true or false, they can also be malformed or undefined.

replies(1): >>45798173 #
1. cluckindan ◴[03 Nov 25 12:02 UTC] No.45798173[source]▶
That example is particularly fishy. The truthiness of a statement is not part of the statement itself, so any explicitly stated truth value is not inconsistent with truthiness, rather it is meaningless.

It’s like saying

    bool isTrue = true;
    bool isProvable = false;
    bool isTrueAndProvable = isTrue && isProvable; // false