BT_Uytya comments on The dangers of zero and one - Less Wrong

27 Post author: PhilGoetz 21 November 2013 12:21PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (68)

You are viewing a single comment's thread. Show more comments above.

Comment author: BT_Uytya 22 November 2013 03:28:53PM *  0 points [-]

apart from theories where what's wrong is your brain

(just amused by the possibility)

Also, it is possible that Peano arithmetic isn't consistent; if so, either the very concept of 'primality' doesn't make any sense, or it can just mess up the primality tests which were used in creation of (b) and (c), and the connection between "1159 if prime" and "this program outputs True and halts" as well.

Of course, it screws up any application of Cox's theorem here, even worse than in delusion case.