Constructivity in Computer Science

Mathematicians have long recognized the distinction betweenan argument showing that an inte...