A constructive appraoch to mathematics is
We can always find examples or counter-examples,
Every existence result has an actual example. Given satisfied for-all quantifications.
Eg. Type Theory
Related to Curry-Howard Correspondance
A constructive appraoch to mathematics is
We can always find examples or counter-examples,
Every existence result has an actual example. Given satisfied for-all quantifications.
Eg. Type Theory
Related to Curry-Howard Correspondance