Robuta

https://substack.com/@peteri394q Peter Gerdes | Substack Logician (ie mathematician in computability theory). peter gerdessubstack