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

DOI10.1007/s10670-013-9571-zzbMath1304.03012OpenAlexW2048008526MaRDI QIDQ488474

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

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

Cites Work

• Beyond the Axioms: The Question of Objectivity in Mathematics†
• Deciding Arithmetic Using SAD Computers
• SAD Computers and Two Versions of the Church–Turing Thesis
• Extensions of some theorems of Gödel and Church
• Non-Turing computations via Malament--Hogarth space-times

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