⚙️❓✅

#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

📼❓⏳

#turing machine #halting problem #computability #complexity theory #alan turing #decidability

🧮∀∃=✅/❌

#foundations of logic #formal language #well-formed formula #WFF #sentences #truth values #validity #decidability #predicate calculus