McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227 [Book Review]

Journal of Symbolic Logic 32 (4):523-523 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270190

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

Myhill John. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104. [REVIEW]Erik Ellentuck - 1969 - Journal of Symbolic Logic 33 (4):619-620.
Davis Martin. Applications of recursive function theory to number theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 135–138. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
Shoenfield J. R.. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 131–134. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.
J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96. [REVIEW]Kenneth Appel - 1966 - Journal of Symbolic Logic 31 (4):652-652.
Nerode A.. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116. [REVIEW]Matthew Hassett - 1967 - Journal of Symbolic Logic 32 (2):269-269.
Spector Clifford. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):655-655.
Robinson J. A.. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence 1967, pp. 1–18. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
Lamber Joachim. The mathematics of sentence structure. American mathematical monthly, vol. 65 No. 3 , pp. 154–170.Lambek Joachim. Contributions to a mathematical analysis of the English verb-phrase. Journal of the Canadian Linguistic Association, vol. 5 , pp. 83–89.Lambek Joachim. On the calculus of syntactic types. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 166–178.Court L. M., Lambek J., Hiż H.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 264–265.Cohen Joel M.. The equivalence of two concepts of categorial grammar. Information and control, vol. 10 , pp. 475–484. [REVIEW]Eliahu Shamir - 1968 - Journal of Symbolic Logic 33 (4):627-628.
Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
Wells Rulon. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244.Sable J. D., Wells R.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268. [REVIEW]Nuel D. Belnap - 1965 - Journal of Symbolic Logic 30 (2):244-245.
Hartmanis J.. Context-free languages and Turing machine computations. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence 1967, pp. 42–51. [REVIEW]S. Ginsburg - 1972 - Journal of Symbolic Logic 37 (4):759-759.
Davis Martin. Eliminating the irrelevant from mechanical proofs. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 15–30. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-119.

Analytics

Added to PP
2016-06-30

Downloads
23 (#644,212)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references