scientific article; zbMATH DE number 733568
From MaRDI portal
Publication:4325964
Recommendations
Cited in
(16)- Computerized deconstruction.
- Ugly mathematics: why do mathematicians dislike computer-assisted proofs?
- Philosophy of Computation
- scientific article; zbMATH DE number 3837952 (Why is no real title available?)
- Mathematical proof
- The Epistemological Status of Computer-Assisted Proofs
- scientific article; zbMATH DE number 1301809 (Why is no real title available?)
- `Simon's syndrome' in the problem of reliability of computer proofs
- Mathematical proofs in the computer age
- Looking for busy beavers. A socio-philosophical study of a computer-assisted proof
- Conceptual and computational mathematics
- Computers as a source of a posteriori knowledge in mathematics
- Theory of quantum computation and philosophy of mathematics. II
- Foundations of mathematics from the perspective of computer verification
- Theory Is Forever
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4325964)
