TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS

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)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Applications of computability and recursion theory (03D80) Logic in the philosophy of science (03A10) Hierarchies of computability and definability (03D55)

Related Items

TRIAL AND ERROR MATHEMATICS II: DIALECTICAL SETS AND QUASIDIALECTICAL SETS, THEIR DEGREES, AND THEIR DISTRIBUTION WITHIN THE CLASS OF LIMIT SETS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation as an unbounded process
• Turing projectability
• Logic and probabilistic systems
• Experimental logics and Π₃⁰ 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

This page was built for publication: TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS