Reading proofs with understanding

DOI10.1111/J.1755-2567.1988.TB00711.XzbMATH Open0656.03003OpenAlexW2157310613MaRDI QIDQ3803082

George E. Weaver

Publication date: 1988

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1988.tb00711.x

zbMATH Keywords

formalismunderstanding proofsnature of mathematical proofs

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Reading proofs with understanding

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