Long Proofs

DOI10.2307/2320927zbMATH Open0498.03002OpenAlexW4244755590MaRDI QIDQ3962958

F. H. Norwood

Publication date: 1982

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

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

zbMATH Keywords

four color theoremcomputer assisted proofsanalogy between formal proofs in the notation of mathematical logic and computer programs in machine languagearbitrarily long proofs

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

This page was built for publication: Long Proofs

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