|
|
|
|
|
|
by btilly
5791 days ago
|
|
|
Not so. Pure existence proofs can be non-constructive. The first historical example of an important proof which was non-constructive was Hilbert's Basis Theorem in 1888, which solved a famous problem posed by Paul Gordon. It is now viewed as in some sense being the first salvo in the debate over constructivism in the 20th century. See http://en.wikipedia.org/wiki/David_Hilbert#The_finiteness_th... for more. |
|
|