Virginia Tech® home

Proving Existence Constructively

Proving Existence Constructively

This is an initial task for motivating students to recognize that a constructive existence proof should simply introduce the existent value and demonstrate that it works. This notion often runs orthogonal to students' past experience of showing the solution process for solving for an unknown in an algebraic equation.

task for analyzing constructive existence proof