scientific article

zbMath1243.03002MaRDI QIDQ3114251

Alan Weir

Publication date: 2 February 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical truthformalist foundations of mathematicsnaturalism in mathematicsneo-formalism

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (4)

A robust non-transitive logic ⋮ $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$ ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ A metasemantic challenge for mathematical determinacy

This page was built for publication: