Taking formalism seriously

DOI10.1007/BF03024251zbMath0797.03060OpenAlexW2748832378MaRDI QIDQ1317509

Edward Nelson

Publication date: 5 May 1994

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03024251

zbMATH Keywords

inconsistencyfoundations of mathematicscontradictionnumber theoretic computationsRobinson's system \(Q\)

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (2)

The consistency of arithmetic ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory

Cites Work

• Radically Elementary Probability Theory. (AM-117)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Taking formalism seriously