Question

This mathematician names an annual lecture given by an invitee to the members of the Association for Symbolic Logic. For 10 points each:
[10e] What logician developed two incompleteness theorems about axiomatic mathematics?
ANSWER: Kurt Gödel [or Kurt Friedrich Gödel; accept Gödel’s incompleteness theorems; accept Gödel Lecture]
[10m] Patricia Blanchette’s 2022 Gödel Lecture discussed a rule-based approach to mathematics named for this adjective. “Languages” named for this adjective consist of an alphabet equipped with a set of rules.
ANSWER: formal [accept formalism or formalist; accept formal languages; accept “Formalism in Logic”]
[10h] Elisabeth Bouscaren’s 2019 Gödel Lecture addressed the “ubiquity of configurations” in this subfield of logic pioneered by Alfred Tarski. The Löwenheim–Skolem theorem concerns the cardinality of its eponymous objects.
ANSWER: model theory [or theory of models; accept “The ubiquity of configurations in model theory”; prompt on models]
<Other Science>

Back to bonuses

Data

TeamOpponentPart 1Part 2Part 3Total
Arizona StateDuke10101030
Berkeley AIllinois100010
Berkeley BHarvard1010020
BrownIowa State100010
Chicago CKentucky100010
Chicago DVanderbilt100010
Columbia ACornell A100010
Columbia BClaremont Colleges100010
FloridaOttawa100010
Georgia TechNYU100010
Johns HopkinsToronto A1010020
North Carolina AMinnesota A10101030
North Carolina BMcGill10101030
NorthwesternMichigan100010
PennToronto B100010
PurdueChicago A100010
RutgersVirginia100010
South CarolinaMinnesota B100010
StanfordWaterloo1010020
TexasChicago B100010
Truman StateCornell B100010
WUSTL AIndiana100010
WUSTL BYale B1010020
Yale AMaryland100010

Summary

TournamentEditionExact Match?HeardPPBEasy %Medium %Hard %
2024 ACF Nationals04/21/2024Y2414.17100%29%13%