Newman M. H. A. and Turing A. M.. A formal theorem in Church's theory of types [Book Review]

Journal of Symbolic Logic 7 (3):122-122 (1942)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269297

Links

PhilArchive



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

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: M. H. A. Newman, A. M. Turing, A Formal Theorem in Church's Theory of Types. [REVIEW]Leon Henkin - 1942 - Journal of Symbolic Logic 7 (3):122-122.
A formal theorem in church's theory of types.M. H. A. Newman & A. M. Turing - 1942 - Journal of Symbolic Logic 7 (1):28-33.
A Note on the Theorems of Church‐Turing and Trachtenbrot.Michael Deutsch - 1994 - Mathematical Logic Quarterly 40 (3):422-424.
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Turing's golden: How well Turing's work stands today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.
Johh Henry Newman.John T. Ford - 2013 - Newman Studies Journal 10 (1):41-55.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
The Church-Turing Thesis.B. Jack Copeland - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.
Dilemmas of Ambiguity and Vagueness.Leon Felkins - 1996
SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
John Henry Newman: A Father of the Church?Lawrence Cross - 2006 - Newman Studies Journal 3 (1):5-11.
Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.

Analytics

Added to PP
2016-06-30

Downloads
16 (#912,083)

6 months
7 (#440,443)

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