A note on the entscheidungsproblem
Journal of Symbolic Logic 1 (1):40-41 (1936)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGeorg Henrik von Wright (1979). A Note on a Note on Practical Syllogisms. Erkenntnis 14 (3):355 - 357.
Adriane A. Rini (2000). Hupo in the Prior Analytics: A Note on Disamis XLL. History and Philosophy of Logic 21 (4):259-264.
Georg Hendrik Wright (1979). A Note on a Note on Practical Syllogisms. Erkenntnis 14 (3).
F. B. Graham (1969). A Note on Mr. Demos' Note on Plato on Moral Principles. Mind 78 (312):596-597.
Saul A. Kripke (forthcoming). Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Alonzo Church (1936). ``A Note on the Entcheidunsproblem&Quot. Journal of Symbolic Logic 1:40-41.
Maía Manzano (1997). Alonzo Church:His Life, His Work and Some of His Miracles. History and Philosophy of Logic 18 (4):211-232.
Alan Turing (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42:230-265.
Alonzo Church (1936). Correction to a Note on the Entscheidungsproblem. Journal of Symbolic Logic 1 (3):101-102.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads29 ( #42,416 of 549,128 )Recent downloads (6 months)5 ( #15,205 of 549,128 )How can I increase my downloads? |
My notes
Discussion
