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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=9505161030&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 9505161030 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Apr95 vid: 24 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 9505161030 10.1007/BF01048528 ppf: 117 ppct: 22 formats: tig: atl: Is Gold-Putnam diagonalization complete? aug: au: Juhl, Cory su: Mathematical logic Proof theory sug: subj: Mathematical logic Proof theory ab: 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 Axiom of Determinacy; Diagonalization and language learning. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 1995 holdings: @attributes: islocal: N |
|---|