Bečvář Jiří. A universal Turing machine with a programming tape. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by Kalmár László, Akadémiai Kiadó, Budapest 1965, pp. 11–20 [Book Review]

Journal of Symbolic Logic 36 (3):535-535 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269993

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Church Alonzo. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 21–26. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
Müller Gert Heinz. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest 1965, S. 45–51.Müller G. H.. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440. [REVIEW]Dieter Rödding - 1973 - Journal of Symbolic Logic 38 (1):156-157.
Review: Jiri Becvar, A Universal Turing Machine with a Programming Tape. [REVIEW]R. M. Baer - 1971 - Journal of Symbolic Logic 36 (3):535-535.
Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications Colloque Sur les Fondements des Mathématiques, les Machines Mathématques, Et Leurs Applications. Kolloquium Über Die Grundlagen der Mathematik, Mathematische.László Kalmár, Bolyai János Matematikai Társulat & Magyar Tudományos Akadémia - 1965 - Akadémiai Kiadó.
Colloque Sur les Fondements des Mathématiques, les Machines Mathématiques, Et Leurs Applications Tihany, 11-15 Septembre 1962.László Kalmár, Magyar Tudományos Akadémia & Bolyai János Matematikai Társulat - 1965 - Gauthier-Villars E. Nauwelaerts.
Review: F. C. Hennie, One-Tape, Off-Line Turing Machine Computations. [REVIEW]Jiri Becvar - 1968 - Journal of Symbolic Logic 33 (1):119-120.
Review: Laszlo Kalmar, Recent Results Concerning the Foundations of Mathematics; Alfred Renyi, Gyorgy Alexits, Janos Aczel, Remarks Concerning the Lecture of Laszlo Kalmar; Laszlo Kalmar, Laszlo Kalmar's Reply. [REVIEW]John G. Kemeny - 1959 - Journal of Symbolic Logic 24 (2):174-174.
Infinite Time Turing Machines With Only One Tape.D. E. Seabold & J. D. Hamkins - 2001 - Mathematical Logic Quarterly 47 (2):271-287.
Super Turing-machines.Jack Copeland - 1998 - Complexity 4 (1):30-32.
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.
Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):821-821.
A missing link: The infuence of lászló kalmár's empirical view on Lakatos' philosophy of mathematics.Deszo Gurka - 2006 - Perspectives on Science 14 (3):263-281.
Oxygen can be harmful to your health Radicals, Ions and Tissue Damage (1991). Edited by B. Matkovics, L. Karmaszin and Kalasz. Akademiai Kiado: Budapest, 324pp. £19.75. [REVIEW]S. R. R. Musk - 1992 - Bioessays 14 (6):429-430.
From Symbol to ‘Symbol’, to Abstract Symbol: Response to Copeland and Shagrir on Turing-Machine Realism Versus Turing-Machine Purism.Eli Dresner & Ofra Rechter - 2016 - Minds and Machines 26 (3):253-257.
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.

Analytics

Added to PP
2016-06-30

Downloads
15 (#893,994)

6 months
4 (#698,851)

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