Metalogic — Geoffrey Hunter · Atlas Series · 1-day sprint
Round One$0
⊢⊨
DOUBLE TURNSTILE
A Jeopardy!-style tour of Hunter’s Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Board: two rounds of 25 clues, then a Final Metatheorem. Round One covers Parts One–Two
(general notions, enumerability, P and PS); Double Metalogic covers Parts Three–Four (Q and QS,
Löwenheim–Skolem, Church, Gödel, Turing).
Play: every response is phrased as a question. Correct adds the value; incorrect subtracts it.
Passing is free — but passed and missed clues are logged as your reading agenda for the week sprint.
Three Daily Doubles are hiding; on those (and the Final) you wager, and you must answer.
⊢ is the syntactic turnstile (provability); ⊨ is the
semantic turnstile (consequence). The book is the story of when they agree.
FINAL METATHEOREM
FINAL SCORE
Carry these into the week sprint
Clues you passed or missed — the questions this sprint generated. They are the reading agenda.