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

DOI10.1007/S10670-013-9571-ZzbMATH Open1304.03012OpenAlexW2048008526MaRDI QIDQ488474FDOQ488474

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)

Cites Work

• Deciding Arithmetic Using SAD Computers
• Non-Turing computations via Malament--Hogarth space-times
• Extensions of some theorems of Gödel and Church
• Beyond the axioms: The question of objectivity in mathematics
• 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)