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
RIGOUR AND PROOF – CORRIGENDUM - MaRDI portal

RIGOUR AND PROOF – CORRIGENDUM

From MaRDI portal

Publication:5880432

Jump to:navigation, search

DOI10.1017/S1755020322000028MaRDI QIDQ5880432

Oliver William Tatton-Brown

Publication date: 2 March 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

validity mathematical practice mathematical proof mathematical rigour length of proofs formalizability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)

This page was built for publication: RIGOUR AND PROOF – CORRIGENDUM

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