Mathematical Realism and Gödel's Incompleteness Theorems
From MaRDI portal
Publication:4861494
DOI10.1093/PHILMAT/2.3.177zbMath0836.03001OpenAlexW2050368287MaRDI QIDQ4861494
Publication date: 2 May 1996
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/2.3.177
mindChurch's thesisformalismGödel's incompleteness theoremsintuitionismmathematical realismrule governed machine
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
This page was built for publication: Mathematical Realism and Gödel's Incompleteness Theorems