Large Numbers and Unprovable Theorems

DOI10.2307/2323530MaRDI QIDQ3325721zbMATH OpenOpenAlexWikidataFDO

Authors Joel 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

fast growing bounding functionsindependence from formal systemslarge lower boundslarge numberspopular expositionprovably recursive functionsunderivability

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Recommendations

• Unsolved problems in number theory
• Unsolved problems in number theory
• Unsolved problems in number theory
• scientific article; zbMATH DE number 5013084
• scientific article; zbMATH DE number 4055605
• scientific article; zbMATH DE number 4191829
• Undecidability in number theory
• Undecidability in number theory

Cited in

(3)

• scientific article; zbMATH DE number 5013084 (Why is no real title available?)
• Large negative numbers in number theory, thermodynamics, information theory, and human thermodynamics
• scientific article; zbMATH DE number 6293662 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3325721)