popular
trending
lists
login
Computability theory
Combinatory logic
Computability theorists
Computable analysis
Effective descriptive set theory
Hypercomputation
Lambda calculus
Recursion
Reduction (complexity)
Turing machine
Undecidable problems
Latest Activity
Latest Events
Jade van Vliet and Kenneth Taylor
Engagement - 1st Jun 2026
by missepticeye
Callum Turner and Dua Lipa
Marriage - 31st May 2026
by TrickyBaby
Zachariah Porter and Jonathan Carson
Engagement - 31st May 2026
by missepticeye
Charo Walop and Lex
Child - 30th May 2026
by missepticeye
see more
Follow WDW on Facebook