Natural proof

From Learning
Revision as of 20:46, 8 January 2019 by Issa Rice (talk | contribs) (Created page with "In the context of mathematics education, a '''natural proof''' is a proof that contains no ad hoc constructions, instead being a series of obvious steps that leaves one thinki...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In the context of mathematics education, a natural proof is a proof that contains no ad hoc constructions, instead being a series of obvious steps that leaves one thinking one could have discovered the proof oneself.

This sense of natural proof should not be confused with wikipedia:Natural proof from computational complexity theory.

http://timothychow.net/forcing.pdf