constructivist philosophy of mathematics
C43705
concept
Constructivist philosophy of mathematics is the view that mathematical objects exist only through explicit mental or formal constructions, so a statement is true only if we can construct a proof or example of it.
Instances (1)
| Instance | Via concept surface |
|---|---|
| intuitionism | — |