scientific article; zbMATH DE number 1870429
From MaRDI portal
Publication:4793041
zbMath1024.03008MaRDI QIDQ4793041
Publication date: 18 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (6)
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Different senses of finitude: an inquiry into Hilbert's finitism ⋮ On the concept of finitism ⋮ A simple proof of Parsons' theorem ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
This page was built for publication: