scientific article

From MaRDI portal

Publication:2711910

Jump to:navigation, search

zbMath0978.03002MaRDI QIDQ2711910

Michael E. Detlefsen

Publication date: 22 January 2002

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

zbMATH Keywords

proof theory reverse mathematics logicism formalism philosophy of mathematics Dummett Gödel Quine intuitionism Kant Hilbert's programme Wittgenstein Hellman Field Putnam Heyting Hodes Maddy Resnik Wagner

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (3)

Proof Theory in Philosophy of Mathematics ⋮ WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? ⋮ Visual thinking and simplicity of proof

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2711910&oldid=15564129"