In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption, one still has not found the object and therefore not proved its existence, according to constructivism.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| is field of | |
| is main interest of |