Kaomojis
Kaomojis
All Emojis
Emoji Text Code
🧠∑λ
Copy
#lambda calculus
#computability theory
#mathematical logic
#formal methods
#Foundations of CS
#type theory
#recursion theory
💻→💻⊕🪙
Copy
#kleene hierarchy
#turing jump
#oracle machine
#computability theory
#relative computability
#degrees of unsolvability
#recursion theory
#∅'
#halting problem oracle
Σ⁰ₙΠ⁰ₙΔ⁰ₙ🪜→Σ⁰₁Π⁰₁Δ⁰₁🪜→Σ⁰₂...
Copy
#kleene hierarchy
#arithmetical hierarchy
#computability theory
#recursion theory
#σ0n
#π0n
#δ0n
#quantifier complexity
#levels of complexity
#lambda calculus #computability theory #mathematical logic #formal methods #Foundations of CS #type theory #recursion theory