TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS
From MaRDI portal
Publication:5741615
DOI10.1017/S1755020315000404zbMath1384.03079MaRDI QIDQ5741615
Andrea Sorbi, Jacopo Amidei, Duccio Pianigiani, Luca San Mauro, Giulia Simi
Publication date: 29 July 2016
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
03D80: Applications of computability and recursion theory
03A10: Logic in the philosophy of science
03D55: Hierarchies of computability and definability
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computation as an unbounded process
- Turing projectability
- Logic and probabilistic systems
- Experimental logics and Π30 theories
- A universal inductive inference machine
- A Renaissance of Empiricism in the Recent Philosophy of Mathematics
- Intelligent Machinery, A Heretical Theory*
- Trial and error predicates and the solution to a problem of Mostowski
- Limiting recursion