Theory of Computation --------------------- [(Up)](../../README.md#topics) | _See also: [Computational Complexity](../Computational%20Complexity/README.md#computational-complexity), [Automata Theory](../Automata%20Theory/README.md#automata-theory), [Formal Language](../Formal%20Language/README.md#formal-language)_ - - - - Works regarding theory of computation, meaning models of computation and the limits they counter. This includes computability theory, including decidable and undecidable problems, also known as the theory of recursive functions. Note that "big" classes such as primitive recursive functions are regarded as complexity topics rather than computability topics here. ### Web resources [Why is the Turing machine considered effective computation if it's not realizable due to the Bekenstein bound?](https://cs.stackexchange.com/questions/168182/why-is-the-turing-machine-considered-effective-computation-if-its-not-realizabl) ★ [Other Undecidable Problems (wayback)](https://web.archive.org/web/20210507040412/https://www.cs.wcupa.edu/rkline/fcs/other-undecidable.html) ★ [Scooping the Loop Snooper --- Geoffrey K. Pullum](http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html) ★ [Shtetl-Optimized » Blog Archive » Rosser's Theorem via Turing machines](https://www.scottaaronson.com/blog/?p=710) ★ [Are there any undecidability results that are not known to have a diagonal argument proof?](https://mathoverflow.net/questions/454105/are-there-any-undecidability-results-that-are-not-known-to-have-a-diagonal-argum) ★ [Is there a finite-dimensional vector space whose dimension cannot be found?](http://mathoverflow.net/questions/77068/is-there-a-finite-dimensional-vector-space-whose-dimension-cannot-be-found) ★ ### Algorithmic Information Theory [The Limits of Reason (Gregory Chaitin)](https://web.archive.org/web/20140812152541/https://www.cs.auckland.ac.nz/~chaitin/sciamer3.html) ★ _(in [Automata Theory](../Automata%20Theory/README.md#automata-theory))_ [Turing Machines (William Shoaf, 2001, pdf)](https://web.archive.org/web/20120514172528/http://www.cs.fit.edu/~wds/classes/complexity/lct/turing.pdf) ★ _(in [Automata Theory](../Automata%20Theory/README.md#automata-theory))_ [Csc520 Foundations of Computer Science](https://web.archive.org/web/20161105235418/https://www.cs.wcupa.edu/rkline/csc520) ★ _(in [Computational Complexity](../Computational%20Complexity/README.md#computational-complexity))_ [Computability and Complexity (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/computability/) ★★★ _(in [Computational Complexity](../Computational%20Complexity/README.md#computational-complexity))_ [Theory of Computing: An Open Access Electronic Journal in Theoretical Computer Science](http://theoryofcomputing.org/) ★ [💭](commentary/cpressey.md#theory-of-computing-an-open-access-electronic-journal-in-theoretical-computer-science) ### Papers Unpredictability and Undecidability in Dynamical Systems (online @ [gwern.net](https://gwern.net/doc/cs/computable/1990-moore.pdf), [scribd.com](https://www.scribd.com/doc/2626932/Unpredictability-and-undecidability-in-dynamical-systems)) Decidability and Undecidability in Dynamical Systems (online @ [inria.hal.science](https://inria.hal.science/inria-00429965v1/document)) _(in [Category Theory](../Category%20Theory/README.md#category-theory))_ Physics, Topology, Logic and Computation: A Rosetta Stone (online @ [arxiv.org](https://archive.org/details/arxiv-0903.0340)) ### Books Computation: Finite and Infinite Machines (borrow @ [archive.org](https://archive.org/details/computationfinit0000mins)) 🏛️ [💭](commentary/cpressey.md#computation-finite-and-infinite-machines) The Universal Turing Machine (borrow @ [archive.org](https://archive.org/details/universalturingm0000unse)) ★★★ [💭](commentary/cpressey.md#the-universal-turing-machine) Theory of Recursive Functions and Effective Computability (borrow @ [archive.org](https://archive.org/details/theoryofrecursiv00roge)) [💭](commentary/cpressey.md#theory-of-recursive-functions-and-effective-computability) Automata and Computability (borrow with print disabilities @ [archive.org](https://archive.org/details/automatacomputab0000koze)) ★ [💭](commentary/cpressey.md#automata-and-computability) Theory of Computation (borrow with print disabilities @ [archive.org](https://archive.org/details/theoryofcomputat00brai), [archive.org](https://archive.org/details/theoryofcomputat0000brai)) [💭](commentary/cpressey.md#theory-of-computation) Theories of Computation (borrow with print disabilities @ [archive.org](https://archive.org/details/theoriesofcomput0000pipp)) ★ [💭](commentary/cpressey.md#theories-of-computation) Computability Theory, Semantics, and Logic Programming (borrow @ [archive.org](https://archive.org/details/computabilitythe0000fitt)) [💭](commentary/cpressey.md#computability-theory-semantics-and-logic-programming) Theory of Deductive Systems and its Applications (borrow @ [archive.org](https://archive.org/details/TheoryofDe_00_Masl)) ★★★ [💭](commentary/cpressey.md#theory-of-deductive-systems-and-its-applications) Handbook of Theoretical Computer Science (borrow @ [archive.org](https://archive.org/details/handbookoftheore0000unse_i3m8)) ★★ _(in [Formal Language](../Formal%20Language/README.md#formal-language))_ Introduction to Formal Languages (borrow @ [archive.org](https://archive.org/details/introductiontofo0000reve)) (borrow with print disabilities @ [archive.org](https://archive.org/details/introductiontofo0000reve_q4m5) (1991)) ★ [💭](commentary/cpressey.md#introduction-to-formal-languages) _(in [Formal Language](../Formal%20Language/README.md#formal-language))_ Programs, Grammars, Arguments (online @ [archive.org](https://archive.org/details/flooved3381)) _(in [Logic](../Logic/README.md#logic))_ Mathematical Logic (Kleene) (borrow @ [archive.org](https://archive.org/details/mathematicallogi0000klee)) 🏛️ [💭](commentary/cpressey.md#mathematical-logic-kleene)