"It's a contradiction to have a provable statement that is unprovable" - I meant it's a contradiction for a statement to be both provable and unprovable.

"It's not a contradiction for it to be provable that a statement is unprovable" - this isn't a contradiction

Chris_Leong's Shortform

by Chris_Leong 21st Aug 201980 comments
Crossposted from the AI Alignment Forum. May contain more technical jargon than usual.