Malament-Hogarth machines and Tait's axiomatic conception of mathematics

DOI10.1007/S10670-013-9571-ZMaRDI QIDQ488474zbMATHOpenAlexFDO

Authors Sharon Berry

Publication date 26 January 2015

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10670-013-9571-z

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)

Recommendations

• Absolute Provability and Safe Knowledge of Axioms
• Non-Turing computations via Malament--Hogarth space-times
• Mathematics and the Mind
• scientific article; zbMATH DE number 2168558
• The justification of mathematical statements

Cites work

• Beyond the axioms: The question of objectivity in mathematics
• Deciding Arithmetic Using SAD Computers
• Extensions of some theorems of Gödel and Church
• Non-Turing computations via Malament--Hogarth space-times
• SAD computers and two versions of the Church-Turing thesis

This page was built for publication: Malament-Hogarth machines and Tait's axiomatic conception of mathematics

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