Related tags
Related subjects
Machine theory (5)
Logic, Symbolic and mathematical (5)
Formal languages (3)
Quantum theory (2)
Mathematics (2)
Physics > Philosophy (2)
Metamathematics (1)
Science > Philosophy (1)
Related tagmashes
algorithms, computer science (5)
artificial intelligence, logic (3)
artificial intelligence, philosophy (3)
cognitive science, fiction (3)
cognitive science, mathematics (3)
cognitive science, physics (3)
cognitive science, quantum physics (3)
computer science, fiction, mathematics (3)
computer science, popular science (3)
consciousness, neuroscience (3)
consciousness, neuroscience, philosophy, science (3)
consciousness, non-fiction (3)
Tag info: computability theory
Tag used 22 times by 4 users.
Most often tagged computability theory
- Computability and Logic by George Boolos (3)
- Elements of the Theory of Computation by Harry R. Lewis (2)
- What Computing Is All About (Texts and Monographs in… by Jan L. A. Van De Snepscheut (1)
- The Undecidable: Basic Papers on Undecidable Propositions,… by Martin Davis (1)
- The Language of Machines: An Introduction to Computability… by Robert W. Floyd (1)
- Computability and Complexity: From a Programming… by Neil D. Jones (1)
- Models of Computation and Formal Languages by Ralph Gregory Taylor (1)
- Mathematical logic by Stephen Cole Kleene (1)
- Automata and computability by Dexter C. Kozen (1)
- Languages and machines : an introduction to the theory of… by Thomas A. Sudkamp (1)
- Introduction to the Theory of Computation by Michael Sipser (2)
- Computational complexity by Christos H. Papadimitriou (1)
- The universal computer : the road from Leibniz to Turing by Martin Davis (1)
- Computers and Intractability: A Guide to the Theory of… by Michael R. Garey (1)
- Meta math! : the quest for omega by Gregory Chaitin (1)
- Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft (1)
- Shadows of the Mind: A Search for the Missing Science of… by Roger Penrose (1)
- The Emperor's New Mind: Concerning Computers, Minds, and… by Roger Penrose (1)
- Gödel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter (1)
Using the tag computability theory
peterdmark (15), DomenicDenicola (5), thailyn (1), prosfilaes (1)Recently tagged computability theory
Nothing tagged recently.