Church's theorem on the decision problem

Notre Dame Journal of Formal Logic 6 (2):147-153 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958155

Links

PhilArchive



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

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

A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
Automated theorem proving for łukasiewicz logics.Gordon Beavers - 1993 - Studia Logica 52 (2):183 - 195.
Dilemmas of Ambiguity and Vagueness.Leon Felkins - 1996
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.
An existence theorem for the logic of decision.Ethan D. Bolker - 2000 - Philosophy of Science 67 (3):17.
Causation, Decision Theory, and Bell’s Theorem: A Quantum Analogue of the Newcomb Problem.Eric G. Cavalcanti - 2010 - British Journal for the Philosophy of Science 61 (3):569-597.
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.
Relevant implication and the weak deduction theorem.Diderik Batens - 1987 - Studia Logica 46 (3):239 - 245.
Godel's theorem, church's theorem, and mechanism.J. J. C. Smart - 1961 - Synthese 13 (1):105-10.
A general theorem and eight corollaries in search of correct decision.Shmuel Nitzan & Jacob Paroush - 1994 - Theory and Decision 17 (3):211-220.
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
Jurisprudence and the problem of church doctrine.Nathan B. Oman - manuscript
Units of decision.Mariam Thalos - 1999 - Philosophy of Science 66 (3):338.
The Generalized Means Model for non-deterministic decision making: Its normative and descriptive power, including sketch of the representation theorem.Hector A. Munera - 1985 - Theory and Decision 18 (2):173-202.
Decision theory, intelligent planning and counterfactuals.Michael John Shaffer - 2008 - Minds and Machines 19 (1):61-92.

Analytics

Added to PP
2010-08-24

Downloads
18 (#851,870)

6 months
4 (#845,587)

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