scientific article; zbMATH DE number 5374957

MaRDI QIDQ3542124zbMATH OpenFDO

Authors W. Timothy Gowers

Publication date 28 November 2008

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Cognitive processes, learning theories (aspects of mathematics education) (97C30)

Cited in

(3)

• How to think about informal proofs
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• Diversity in proof appraisal

This page was built for publication:

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