Anna R. Bruss and Albert R. Meyer. On time-space classes and their relation to the theory of real addition. Theoretical computer science, vol. 11 (1980), pp. 59–69. - Leonard Berman. The complexity of logical theories. Theoretical computer science, pp. 71–77. - Hugo Volger. Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories. Theoretical computer science, vol. 23 (1983), pp. 333–337.

1986 ◽  
Vol 51 (3) ◽  
pp. 817-818
Author(s):  
Charles Rackoff
Keyword(s):  
Computer Science ◽  
Decision Problem ◽  
Theoretical Computer Science ◽  
Turing Machines ◽  
Theoretical Computer ◽  
First Order ◽  
Time Space ◽  
Real Addition

Review of The Foundations of Computability Theory (Second Edition) by Borut Robič

2021 ◽  
Vol 52 (2) ◽  
pp. 7-9
Author(s):  
Erick Galinkin
Keyword(s):  
Computer Science ◽  
Finite Automata ◽  
Computability Theory ◽  
Theoretical Computer Science ◽  
Turing Machines ◽  
Theoretical Computer ◽  
Self Study ◽  
First Results ◽  
Data Structures And Algorithms ◽  
Pushdown Automata

Computability theory forms the foundation for much of theoretical computer science. Many of our great unsolved questions stem from the need to understand what problems can even be solved. The greatest question of computer science, P vs. NP, even sidesteps this entirely, asking instead how efficiently we can find solutions for the problems that we know are solvable. For many students both at the undergraduate and graduate level, a first exposure to computability theory follows a standard sequence on data structures and algorithms and students often marvel at the first results they see on undecidability - how could we possibly prove that we can never solve a problem? This book, in contrast with other books that are often used as first exposures to computability, finite automata, Turing machines, and the like, focuses very specifically on the notion of what is computable and how computability theory, as a science unto itself, fits into the grander scheme. The book is appropriate for advanced undergraduates and beginning graduate students in computer science or mathematics who are interested in theoretical computer science. Robič sidesteps the standard theoretical computer science progression - understanding finite automata and pushdown automata before moving into Turing machines - by setting the stage with Hilbert's program and mathematical prerequisites before introducing the Turing machine absent the usual prerequisites, and then introducing advanced topics often absent in introductory texts. Most chapters are relatively short and contain problem sets, making it appropriate for both a classroom text or for self-study.

Sign in / Sign up

Export Citation Format

Share Document