Natural proof

From Learning
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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