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
Proofs for a price: tomorrow's ultra-rigorous mathematical culture - MaRDI portal

Proofs for a price: tomorrow's ultra-rigorous mathematical culture

From MaRDI portal

Publication:6554711

Jump to:navigation, search

DOI10.1090/bull/1823zbMath1541.00038MaRDI QIDQ6554711

Silvia De Toffoli

Publication date: 13 June 2024

Published in: Bulletin of the American Mathematical Society. New Series (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Sociology (and profession) of mathematics (01A80) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Proofs for a price: tomorrow's ultra-rigorous mathematical culture

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