New posts in Constructive Mathematics

Does double negation distribute over implication intuitionistically?

Propositional truncation $||$-$||$ and double negation $\neg\neg$

How do we prove intuitionistically that free modules of finite rank are projective?

Proof by contradiction in Constructive Mathematics

Constructive proof of the Cauchy Schwarz inequality

What does it mean when we say a mathematical object exists?

Does the existence of a mathematical object imply that it is possible to construct the object?

Are there still mathematicians who don't accept proof by contradiction?

What kind of "infinite sets" do constructivists use?

Is there a clean non-contrived theorem that can only be proven by contradiction?