openmic.social is an uncensored community. You may encounter strong language, controversial opinions, and mature or NSFW material. You must be 18+ to browse. Illegal content is prohibited and removed on sight — please report it. By continuing, you accept that you may see content you personally disagree with.
Doubt
Set theory, formal logic, foundations of mathematics, I mean it’s not unrelated.
My advanced logic professor has us writing programs in Turing Machine 4 dot tape syntax that my poor TAs had to read. They had to actually step through the program to see if it succeeded since there were multiple possible successful solutions.