constructivism

There are also cases of interest beyond constructivism: what if a number is non-constructible but can be approximated?

Historically the debate was that classical mathematics is more convenient to work with, while constructivism actually means something more reasonable.

Both constructivism and formalism yield neat interpretations of math as certain kinds of computations being done within human minds.

IF you come to the conclusion that it should mean something different than what is implied by those statements, then you should take another look at constructivism.

Edit to add: So why would someone who doesn't care about constructivism want to use Coq?

He goes on to disprove the verifiability claim over many pages, and thus constructivism.

In constructivism, once you have a Cauchy sequence of rationals, that represents a real.

If there is no culture of constructivism and proofs, it's probably not a forum I have interest in.

You don't have to go all the way to strong social constructivism in order to understand this, but people treat it as an either/or!

I seem to have the impression that constructivism in math is the same thing as constructive logic, though they are related.

Most conferences no longer represent a culture of constructivism and proofs.

I don't know why there needs to be any counterpoints, I did not criticize constructivism.

It's also ironic that you use the phrase "constructivist ideals." Constructivism has deep roots in the American philosophical tradition of Pragmatism[1].

I'm aware of constructivism, but what is "intuitionistic logic?" I am under the impression that the real numbers (and their uncountability) are generally accepted by constructivists.

What's common among these "exceptions" and the "white males" who exhibit these traits is that they typically have a very aspie/autistic brain with a strong focus on constructivism and proofs.

Intuitionism (or intuitionistic mathematics) is sometimes used to mean the same thing as constructivism and sometimes refers to Brouwer's[1] practice of denying excluded middle by introducing an axiom along the lines of "all functions are computable" or "all functions are continuous" (which from some perspectives is almost the same thing).

Constructivism is great if you're trying to foster creativity, self-management, and teamwork.