Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1301804 - MaRDI portal

scientific article; zbMATH DE number 1301804

From MaRDI portal

Publication:4247022

Jump to:navigation, search

zbMath0927.03013MaRDI QIDQ4247022

Dag Prawitz

Publication date: 13 December 1999

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

zbMATH Keywords

realism intuitionism verificationism mathematical formalism constructive approach to truth truth in mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (6)

A new framework for justification logic ⋮ From the knowability paradox to the existence of proofs ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Anti-realist truth and truth-recognition ⋮ Truth from a proof-theoretic perspective

This page was built for publication:

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