“there is a disproof of me that occurs before any proof of me.”
"If this sentence is provable, there is a shorter proof of its negation".
What do these mean, I would think the sentence has a proof or a disproof, Well I guess it could be undecidable. What was Rosser getting at when he used these in Logic?
"If this sentence is provable, there is a shorter proof of its negation".
What do these mean, I would think the sentence has a proof or a disproof, Well I guess it could be undecidable. What was Rosser getting at when he used these in Logic?
0 commentaires:
Enregistrer un commentaire