plato.stanford.edu
Unknown
Stanford Encyclopedia of Philosophy (SEP) is a free, peerâreviewed online encyclopedia offering in-depth, scholarly philosophy articles written by experts. It includes comprehensive entries on computability theoryâTuring machines, decidability, ChurchâTuring thesisâand related topics, with ongoing updates.
More resources on Computability
nLab: Computability
Category-theoretic perspective on computability
Stanford Encyclopedia of Philosophy: Computability
Comprehensive entry on computability theory
Introduction to Theory of Computation
Learn computability theory with Michael Sipser's Intro to Theory of Computation course. Explore fundamental concepts in computer science!
ocw.mit.edu
MIT OpenCourseWare (OCW) offers free, openly licensed MIT course materialsâlecture notes, videos, assignments, and examsâacross a wide range of subjects, including computer science and computability.
mathworld.wolfram.com
MathWorld is Wolfram's expansive online mathematics encyclopedia, offering detailed, cross-referenced articles, definitions, theorems, formulas, and diagrams across mathematical topics. It includes content on computability, logic, automata, and theoretical computer science, making it a strong reference for learning and exploring those concepts.
Theory of Computation
Theory of Computation - A book resource