scientific article
zbMath1237.03005MaRDI QIDQ3063880
Publication date: 16 December 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesstruthmetamathematicsproof theorycategoricitymathematical logicnominalismDavid Hilbertconstructive proofsintuitionismOskar BeckerphenomenologyfinitismKurt GödelRudolf CarnapBertrand RussellHermann Weylincompleteness theoremspredicative mathematicsOtto NeurathLudwig WittgensteinAlfred TarskiHeinrich BehmannDietrich MahnkeFelix KaufmannMaria KokoszyńskaPaul BernaysW. v. O. Quine
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)
Related Items (14)
This page was built for publication: