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
Large Numbers and Unprovable Theorems - MaRDI portal

Large Numbers and Unprovable Theorems

From MaRDI portal

Publication:3325721

Jump to:navigation, search

DOI10.2307/2323530zbMath0539.03042OpenAlexW4240928017WikidataQ56852489 ScholiaQ56852489MaRDI QIDQ3325721

J. H. Spencer

Publication date: 1983

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2323530

zbMATH Keywords

large numbers provably recursive functions underivability fast growing bounding functions independence from formal systems large lower bounds popular exposition

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

This page was built for publication: Large Numbers and Unprovable Theorems

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