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>