Meaning of Rosser's trick | Babel Free
Definitions
A method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent. While Gödel's original proof uses a sentence that states (informally) "This sentence is not provable", Rosser's trick uses a formula that says "If this sentence is provable, there is a shorter proof of its negation".
CEFR level
B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
This word is part of the CEFR B2 vocabulary — upper intermediate level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free