Is Gold-Putnam diagonalization complete?
From MaRDI portal
Publication:1346214
DOI10.1007/BF01048528zbMath0811.03040MaRDI QIDQ1346214
Publication date: 22 March 1995
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
philosophy of science; Zermelo-Fraenkel set theory; axiom of determinacy; formal learning theory; Cartesian demon; completeness of diagonalization; undetermined inductive games; wadge determinacy
68T05: Learning and adaptive systems in artificial intelligence
91A44: Games involving topology, set theory, or logic
03E75: Applications of set theory
Cites Work