Experimental logics as a model of development of deductive science and computational properties of undecidable sentences

DOI10.1007/978-3-319-55486-0_13zbMATH Open1380.00016OpenAlexW2606467675MaRDI QIDQ4603237FDOQ4603237

Authors: Michał Tomasz Godziszewski 

Publication date: 19 February 2018

Published in: European Studies in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-55486-0_13

Recommendations

• The Gödel phenomenon in mathematics: a modern view
• Metamathematical limits to computation
• Computational complexity theory and the philosophy of mathematics
• Logic and complexity in cognitive science
• Human and machine interpretation of expressions in formal systems

Mathematics Subject Classification ID

Physics (00A79) Philosophy of mathematics (00A30)

Cited In (4)

• A minimal logical system for computable concepts and effective knowability
• Absolute knowledge and scientific knowledge: A computational view
• Logic and complexity in cognitive science
• The Gödel phenomenon in mathematics: a modern view

This page was built for publication: Experimental logics as a model of development of deductive science and computational properties of undecidable sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4603237)