scientific article; zbMATH DE number 177636

zbMATH Open0787.03048MaRDI QIDQ4037515FDOQ4037515

Authors: Edward Nelson 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• Do the integers exist? The unknowability of arithmetic consistency
• Inconsistent models (and infinite models) for arithmetics with constructible falsity
• The consistency of arithmetic
• The consistency of arithmetic

zbMATH Keywords

consistencyintuitionismnonstandard bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Nonstandard models of arithmetic (03H15)

Cited In (5)

• Title not available (Why is that?)
• Mythematics. Solving the twelve labors of Hercules
• THE OEDIPUS MYTH AS MATHEMATICAL ALLEGORY
• On the untenability of Nelson's predicativism
• Do the integers exist? The unknowability of arithmetic consistency

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 Q4037515)