⚙️❓✅

#metamathematics #gödel's incompleteness theorems #provability #completeness #decidability #mathematical logic #limitative theorems

💻⁰(✅)→💻¹(❓)→💻²(🤯❓)→...

#kleene hierarchy #computability theory #decidability #undecidability #halting problem #recursive sets #recursively enumerable sets #turing machine #complexity increase

📼➡️🤖❓

#automata theory #turing machine #formal languages #computability #decidability #state machine #tape