Is Gold-Putnam diagonalization complete?
Probes the completeness of E.M. Gold and Hilary Putnam's diagonalization, a proof technique used by formal learning theorists to show that inductive problems are solvable. Construction of a mathematical analog of `Cartesian demon' in diagonalization; Adoption of Zermelo-Fraenkel set theory and the A...
| Publicado en: | Journal of Philosophical Logic Vol. 24; no. 2; pp. 117 - 139 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr95
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |