New posts in Constructive Mathematics

Law of Excluded Middle Controversy

What exactly are those "two irrational numbers" $x$ and $y$ such that $x^y$ is rational?

Does the law of the excluded middle imply the existence of "intangibles"?

Countable choice and term extraction

Hidden usage of countable choice

Why can't you prove the law of the excluded middle in intuitionistic logic (for layman)?

Difference between proof of negation and proof by contradiction

De Morgan laws of linear logic

Equivalence between Peirce's law and Excluded Middle in Intuitionistic logic

Can one prove by contraposition in intuitionistic logic?