Related tags
Related subjects
Logic, Symbolic and mathematical (10)
Machine theory (9)
Formal languages (6)
Mathematics (4)
Computer science (3)
Science › Philosophy (3)
System analysis (3)
Engineering › Miscellanea (2)
Related tagmashes
computer science, mathematics (16)
computation, logic (14)
algorithms, computer science (12)
cs, mathematics (12)
logic, mathematics (11)
computer science, popular science (8)
AI, computers (5)
artificial intelligence, computers (5)
Tag info: computability
Tag used 91 times by 44 users.
Most often tagged computability
- Computability and Logic by George Boolos (10)
- The Annotated Turing: A Guided Tour Through Alan Turing's… by Charles Petzold (7)
- Computational Complexity by Christos H. Papadimitriou (4)
- Gödel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter (2)
- Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft (2)
- The Emperor's New Mind: Concerning Computers, Minds, and… by Roger Penrose (2)
- Computability and Unsolvability (Mcgraw-Hill Series in… by Martin Davis (2)
- Meta Math!: The Quest for Omega by Gregory Chaitin (2)
- Introduction to the Theory of Computation by Michael Sipser (2)
- Computers and Intractability: A Guide to the Theory of… by Michael R. Garey (2)
- Computability: An Introduction to Recursive Function Theory by Nigel Cutland (2)
- Alan Turing: The Enigma by Andrew Hodges (2)
- Introduction to Formal Languages (McGraw-Hill computer… by Gyorgy E. Revesz (1)
- No Way: The Nature of the Impossible by Philip J. Davis (1)
- Matematik og lingvistik by Bente Maeg@ård (1)
- Introduction to Formal Language Theory (Texts and… by Robert N. Moll (1)
- The Universal Turing Machine: A Half-Century Survey… by Rolf Herken (1)
- Introduction to Formal Language Theory (Addison-Wesley… by Michael A. Harrison (1)
- Computation and Automata (Encyclopedia of Mathematics and… by Arto Salomaa (1)
- Computability, Complexity, and Languages, Second Edition:… by Martin Davis (1)
Using the tag computability
pgourdin (14), martisch (5), bertilak (4), dabacon (3), xn--7xa (2), PhilipSharman (2), MartyBrandon (2), tsangal (2), dakvid (2), the5eeker (2), xiechao (1), lesbell (1), MichaelBanks (1), kingsmaths (1), bkalish (1), cirdan747 (1), sqrt0 (1), sigurd (1), freetrader (1), Paul_Ian_Miller (1), byorgey (1) ... and 24 other membersRecently tagged computability
Nothing tagged recently.