Natural proof

From Learning
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