Ebthgidr comments on Stupid Questions December 2014 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (341)
Ohhh, thanks. That explains it. I feel like there should exist things for which provable(not(p)), but I can't think of any offhand, so that'll do for now.