Uwe Schöning. Complexity theory and interaction. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 561–580 [Book Review]

Journal of Symbolic Logic 56 (3):1091-1092 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275079

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Andrew Hodges. Alan Turing and the Turing machine. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 3–15. - Stephen C. Kleene. Turing's analysis of computahility, and major applications of it. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 17–54. - Robin Gandy. The confluence of ideas in 1936. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 55–111. - Solomon Feferman. Turing in the land of O. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 113–147. - Martin Davis. Mathematica. [REVIEW]John N. Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.
Allen H. Brady. The busy beaver game and the meaning of life. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 259–277. [REVIEW]Arnold Oberschelp - 1991 - Journal of Symbolic Logic 56 (3):1091-1091.
Michael J. Beeson. Computerizing mathematics: logic and computation. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 191–225. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (3):1090-1091.
Boris Trakhtenbrot. Comparing the Church and Turing approaches: two prophetical messages. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unversagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 603–630. [REVIEW]Giuseppe Longo - 1994 - Journal of Symbolic Logic 59 (4):1434-1436.
Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The knowledge complexity of interactive proof systems. SIAM journal on computing, vol. 18 , pp. 186–208. - Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that release minimum knowledge. Mathematical foundations of computer science 1986, Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25–29, 1986, edited by J. Gruska, B. Rovan, and J. Wiedermann, Lecture notes in computer science, vol. 233, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1986, pp. 639–650. - Oded Goldreich. Randomness, interactive proofs, and zero-knowledge—a survey. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 377–405. [REVIEW]Lance Fortnow - 1991 - Journal of Symbolic Logic 56 (3):1092-1094.
Rolf Herken . The Universal Turing Machine: A Half-Century Survey. Oxford: Oxford University Press, 1988. Pp. xiv + 661. ISBN 0-19-853741-7. £55.00. [REVIEW]Steve Russ - 1989 - British Journal for the History of Science 22 (4):451-452.
The Universal Turing Machine. A Half-Century Survey.Rolf Herken - 1992 - Revue Philosophique de la France Et de l'Etranger 182 (3):344-350.
Logical depth and physical complexity.C. H. Bennett - 1988 - In R. Herken (ed.), The universal Turing machine, a half century survey. Oxford University Press. pp. 227-257.
Kolmogorov complexity and characteristic constants of formal theories of arithmetic.Shingo Ibuka, Makoto Kikuchi & Hirotaka Kikyo - 2011 - Mathematical Logic Quarterly 57 (5):470-473.
The Turing Machine on the Dissecting Table.Jana Horáková - 2013 - Teorie Vědy / Theory of Science 35 (2):269-288.
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N= . The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–4. [REVIEW]William Demopoulos - 2000 - Bulletin of Symbolic Logic 6 (4):498-504.
Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of it.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW]John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips - 1991 - Journal of Symbolic Logic 56 (3):1089.
The Universal Turing Machine: A Half-Century Survey. [REVIEW]Steve Russ - 1989 - British Journal for the History of Science 22 (4):451-452.
Crispin Wright. On the philosophical significance of Frege's theorem. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr., Oxford University Press, Oxford and New York 1998 , pp. 201–244. - George Boolos. Is Hume's principle analytic? Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr., Oxford University Press, Oxford and New York 1998 , pp. 245–261. - Charles Parsons. Wright on abstraction and set theory. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr., Oxford University Press, Oxford and New York 1998 , pp. 263–271. - Richard G. HeckJnr. The Julius Caesar objection. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr., Oxford University Press, Oxford and New York 1998 , pp. 273–308. [REVIEW]William Demopoulos - 1998 - Journal of Symbolic Logic 63 (4):1598-1602.
[Omnibus Review].John N. Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.

Analytics

Added to PP
2019-05-18

Downloads
19 (#819,910)

6 months
4 (#851,472)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references