Inductive Inference and Unsolvability

&
Journal of Symbolic Logic 56 (3):891-900 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275058

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Inductive inference and unsolvability.Leonard M. Adleman & M. Blum - 1991 - Journal of Symbolic Logic 56 (3):891-900.
Friedberg Richard M.. A criterion for completeness of degrees of unsolvability. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-165.
Review: Richard M. Friedberg, A Criterion for Completeness of Degrees of Unsolvability. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-165.
Review: R. M. Friedberg, The Fine Structure of Degrees of Unsolvability of Recursively Enumerable Sets. [REVIEW]Gerald E. Sacks - 1963 - Journal of Symbolic Logic 28 (2):166-166.
Review: M. D. Gladstone, Some Ways of Constructing a Propositional Calculus of any Required Degree of Unsolvability. [REVIEW]W. E. Singletary - 1969 - Journal of Symbolic Logic 34 (3):505-506.
Review: R. M. Friedberg, Two Recursively Enumerable Sets of Incomparable Degrees of Unsolvability (Solution of Post's Problem, 1944). [REVIEW]Hartley Rogers - 1958 - Journal of Symbolic Logic 23 (2):225-226.
Review: Richard M. Martin, A Formalization of Inductive Logic. [REVIEW]Herbert G. Bohnert - 1969 - Journal of Symbolic Logic 34 (1):137-138.
Review: E. I. Grindlinger, On the Unsolvability of the Word Problem for a Class of Semigroups with a Solvable Isomorphism Problem; M. Greendlinger, Soviet Mathematics. [REVIEW]C. R. J. Clapham - 1968 - Journal of Symbolic Logic 33 (3):469-469.
Richard M. Martin. A formalization of inductive logic. The journal of symbolic logic, vol. 23 no. 3 , pp. 251–256.Herbert G. Bohnert - 1969 - Journal of Symbolic Logic 34 (1):137-138.
Review: Edward L. Keenan, Leonard M. Faltz, Boolean Semantics for Natural Language. [REVIEW]Lawrence S. Moss - 1987 - Journal of Symbolic Logic 52 (2):554-555.

Analytics

Added to PP
2016-06-30

Downloads
21 (#727,311)

6 months
9 (#437,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Unprincipled.Gordon Belot - 2024 - Review of Symbolic Logic 17 (2):435-474.
Learning via queries and oracles.Frank Stephan - 1998 - Annals of Pure and Applied Logic 94 (1-3):273-296.
Inductive inference and reverse mathematics.Rupert Hölzl, Sanjay Jain & Frank Stephan - 2016 - Annals of Pure and Applied Logic 167 (12):1242-1266.

Add more citations

References found in this work

The Logic of Scientific Discovery.Karl Popper - 1959 - Studia Logica 9:262-265.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Degrees of Unsolvability.Joseph R. Shoenfield - 1975 - Studia Logica 34 (3):284-288.

Add more references