Cannonito Frank B.. The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, vol. 21, The National Press, Palo Alto 1962, pp. 71–77 [Book Review]

Journal of Symbolic Logic 36 (4):693-693 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272529

Links

PhilArchive



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

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

Review: Frank B. Cannonito, The Godel Incompleteness Theorem and Intelligent Machines. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):693-693.
Per la posizione lessicale dei dialetti veneti. 1962.[1962: 6673]. S. noch QIG 7 (1962/1963) 163 (G. Bottiglioni).H. J. Frey - 1964 - Paideia 19:191.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
JCB Mohr, 1962. Black, Max. Models and Metaphors. Ithaca: Cornell University Press, 1962.Richard Bernstein, Beyond Objectivism & Relativism Philadelphia - 2003 - In Lorraine Code (ed.), Feminist Interpretations of Hans-Georg Gadamer. Pennsylvania State University Press. pp. 7--377.
B. Dunham, R. Fridshal, and G. L. Sward. A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, pp. 282–285. - B. Dunham, R. Fridshal, and J. H. North. Exploratory mathematics by machine. Recent developments in information and decision processes, edited by Robert E. Machol and Paul Gray, The Macmillan Company, New York1962, pp. 149–160. - B. Dunham and J. H. North. Theorem testing by computer. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N. Y., April 24, 25, 26, 1962, Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 173–177. [REVIEW]Joyce Friedman - 1967 - Journal of Symbolic Logic 32 (2):266-266.
Meo. Angelo Raffaele On the minimal third order expression of a Boolean function. Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, October 7–12, 1962, American Institute of Electrical Engineers, New York 1962, pp. 5–24. [REVIEW]A. K. Choudhury - 1968 - Journal of Symbolic Logic 32 (4):540-540.
Francisco Romero: América en el diálogo epistolar.María Marcela Aranda - 2012 - Cuyo 29 (2):35-62.
Motu proprio du 2 février 1962 fixant l'ouverture du IIe Concile du Vatican au 11 octobre 1962.Actes du Souverain Pontife - 1962 - Nouvelle Revue Théologique 84 (3):295-196.
Rado Tibor. On a simple source for non-computable functions. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 75–81. [REVIEW]F. B. Cannonito - 1968 - Journal of Symbolic Logic 32 (4):524-524.
Schopenhauer-Gesellschaft. Abrechnung über die Zeit vom 1. Janu ar 1962 bis zum 31. Dezember 1962.Johann Joeden - 1963 - Schopenhauer Jahrbuch:208-208.
McCarthy John. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238.McCarthy John. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 33–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Church Alonzo. Mathematics and logic. Logic, methodology and philosophy of science, Proceedings of the I960 International Congress, edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, Calif., 1962, pp. 181–186. [REVIEW]E. J. Lemmon - 1963 - Journal of Symbolic Logic 28 (1):106-107.
Francisco Romero 1891-1962.Cornelius Krusé - 1962 - Proceedings and Addresses of the American Philosophical Association 36:120 - 121.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
History of Science: An Annual Review of Literature, Research and Teaching. Volume 1: 1962. Editors: A. G. Crombie and M. A. Hoskin. Pp. viii + 133. Cambridge: Heffer, 1962. Price 30s. net. [REVIEW]A. Armitage - 1962 - British Journal for the History of Science 1 (2):187-188.

Analytics

Added to PP
2016-06-30

Downloads
13 (#978,482)

6 months
2 (#1,157,335)

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