5 thinkers, books, and ideas connected to this field.
New Zealand mathematician who has developed Bishop-style constructive mathematics — a rigorous constructive development of real analysis and functional analysis.
Swedish logician who worked on dependent type theory, formal topology, and constructive foundations of mathematics.
Italian logician who developed formal topology — a point-free, constructive account of topology — and the Basic Picture, a framework for constructive foundations.
German mathematician who developed computable analysis — a rigorous treatment of computability for real numbers and continuous functions — and the Weihrauch reducibility hierarchy.
New Zealand mathematician working on constructive mathematics and paraconsistent logic.