Question

Previous bonus - Next bonus
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

Summary

2024 ACF Nationals2024-04-21Y2414.17100%29%13%

Data

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