Question

This thinker’s alternative definition of quantifiers using the term-forming epsilon operator has been applied to anaphora in natural language. Natural deduction contrasts with proof systems named for this thinker, which often (15[1])use modus ponens as the only rule of inference. W. W. Tait argued that this thinker’s Kant-influenced “finitary arithmetic” corresponds to primitively recursive arithmetic. This thinker’s formalist project began in his Grundlagen der Geometrie. (-5[1])He’s not Ackermann, but the (*) Church-Turing thesis contradicts this thinker’s hope that an algorithm could decide the truth (10[1])of any statement, called the (10[1])Entscheidungsproblem. (10[1])Gödel’s (10[1])incompleteness theorem proved the infeasibility of this thinker’s namesake program, which attempted to axiomatize all of mathematics. For 10 points, what German mathematician theorized a paradox involving an infinitely large hotel? ■END■ (10[1])

Back to tossups

Buzzes

Summary