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
Randomization, persuasiveness and rigor in proofs - MaRDI portal

Randomization, persuasiveness and rigor in proofs

From MaRDI portal

Publication:1408656

Jump to:navigation, search

DOI10.1023/A:1022183530114zbMath1037.03004MaRDI QIDQ1408656

Catherine Womach, Martin Farach

Publication date: 25 September 2003

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

randomization persuasiveness

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Complexity of proofs (03F20)

This page was built for publication: Randomization, persuasiveness and rigor in proofs

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