Rosser's trick
Hello, you have come here looking for the meaning of the word Rosser's trick. In DICTIOUS you will not only get to know all the dictionary meanings for the word Rosser's trick, but we will also tell you about its etymology, its characteristics and you will know how to say Rosser's trick in singular and plural. Everything you need to know about the word Rosser's trick you have here. The definition of the word Rosser's trick will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofRosser's trick, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
Introduced by J. Barkley Rosser in 1936.
Proper noun
- (mathematics) 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".