Gödel's Incompleteness Theorems
In any system of arithmetic strong enough to be useful, there are true statements it can never prove. Including this one.
193125 min read
American mathematical logic
J. Barkley Rosser
1907 – 1989
American logician, a student of Alonzo Church. In 1936 he strengthened Gödel's first incompleteness theorem by replacing the hypothesis of omega-consistency with plain consistency, using a cleverly modified self-referential sentence now called the Rosser sentence. The Kleene-Rosser paradox and the Church-Rosser theorem also bear his name.