Sobre las demostraciones por contradicción

Timothy Gowers ha publicado en su blog una reflexión sobre las demostraciones por contradicción. Se los recomiendo: When is proof by contradiction necessary?