1/30/2023
•
EN
The names of birds, part 2
Explores the connection between mockingbirds and fixpoints in combinatorial logic, using bird metaphors to discuss formal systems.