Bookmarks
Concepts
Activity
Courses
Learning Plans
Courses
Requests
Log In
Sign up
New Course
Concept
Constructive Mathematics
Constructive mathematics
is an
approach to mathematical practice
that insists on the need for
explicit constructions in proofs
, rejecting the
law of excluded middle
and
non-constructive existence proofs
. It emphasizes the
computational content of mathematical objects
, aligning closely with
intuitionistic logic
and often used in
computer science
for
program extraction from proofs
.
Relevant Fields:
Mathematical Logic and Foundations 100%
Generate Assignment Link
Lessons
Concepts
Suggested Topics
Foundational Courses
Learning Plans
Log in to see lessons
Log In
Sign up
3