- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Herkener Herkener'
18 found
Order:
- Impacts of the Early Cold War on the Formulation of U.S. Science Policy: Selected Memoranda of William T. Golden, October 1950-April 1951. William T. Golden, William A. Blanpied. [REVIEW]Gregg Herken - 1996 - Isis 87 (4):755-755.No categories
- Umschichiungen in den herrscnenden Klassen nach dem Kriege. [REVIEW]Hans Herkener - 1935 - Zeitschrift für Sozialforschung 4 (2):303-303.No categories
- 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 Knowledge Complexity of Interactive Proof Systems.Proofs that Release Minimum Knowledge.Randomness, Interactive Proofs, and Zero-Knowledge--A Survey. [REVIEW]Lance Fortnow, Shafi Goldwasser, Silvio Micali, Charles Rackoff, Oded Goldreich, Avi Wigderson, J. Gruska, B. Rovan, J. Wiedermann & Rolf Herken - 1991 - Journal of Symbolic Logic 56 (3):1092.
- Herkenning en genegenheid: F.M. Dostojevski, Duivels.Joseph Frank - 2010 - Nexus 55.Zelfs in het bepaald somber stemmende werk van Dostojevski is nog een sprankje hoop te ontdekken: het geluk van een nieuwe vader bij de geboorte van zijn eerste kind.No categoriesExport citation
Bookmark - 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.No categories
- Door de spiegelwand. Over herkenning en erkenning van vreemdelingen in moderniteitstheorieen.M. Boenink - 1994 - Krisis 56:16-20.
- Resonantie En Herkenning: Walzers Minimale Moraal.Ronald Tinnevelt - 2000 - Bijdragen 61 (2):175-200.No categories
- Nagel, B., Abhinavagupta's [Herkenning van het zelf]. [REVIEW]P. Swiggers - 1988 - Tijdschrift Voor Filosofie 50:186.No categoriesExport citation Bookmark
- 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.
- 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.
- 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. [REVIEW]Steven Lindell - 1991 - Journal of Symbolic Logic 56 (3):1091-1092.
- 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.
- Worldwide Science and Technology Advice to the Highest Levels of Governments by William T. Golden; Cardinal Choices: Presidential Science Advising from the Atomic Bomb to SDI by Gregg Herken; The Advisers: Scientists in the Policy Process by Bruce L. R. Smith. [REVIEW]Jeffrey K. Stine - 1994 - Isis 85 (1):174-177.
- [Omnibus Review].John N. Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.Reviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers.
- omnibus Review. [REVIEW]John Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.Reviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-wg6s5 uwo