Summary: Kameryn Williams is a logician and their favorite theorem is the less well-known Condensation Lemma of Gödel. Also brie.
Summary: Kameryn Williams is a logician and their favorite theorem is the less well-known Condensation Lemma of Gödel. Also brie.