Dieser Bereich kann Inhalte enthalten, die nicht für alle Nutzer geeignet sind. Dazu können unter anderem Texte, Medien oder Diskussionen gehören, die als beleidigend, extremistisch, gewaltbezogen oder anderweitig belastend empfunden werden. Wenn du solche Inhalte nicht sehen möchtest, nutze bitte die jeweiligen Filter- und Meldeoptionen der Plattform oder meide entsprechende Threads/Communities.
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.