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, (15[1])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 (-5[1])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 (10[1])the truth (10[1])of any statement, called the (10[1])Entscheidungsproblem. (10[2])Gödel’s (10[1])incompleteness theorem (10[1])proved the infeasibility of this thinker’s namesake (-5[1])program, (10[2])which attempted to axiomatize all of mathematics. For 10 points, what German mathematician theorized a paradox involving an infinitely large hotel? ■END■ (10[3])

Buzzes

Summary