Category:Mathematical constructivism
From Wikipedia, the free encyclopedia
You have
new messages
(
last change
).
The main article for this
category
is
Mathematical constructivism
.
Pages in category "Mathematical constructivism"
There are 17 pages in this section of this category.
*
Constructivism (mathematics)
A
Apartness relation
B
BHK interpretation
Bar induction
C
Constructive proof
C cont.
Constructive set theory
Constructivist analysis
D
Disjunction and existence properties
F
Finitism
H
Heyting algebra
Heyting arithmetic
I
Intuitionism
Intuitionistic logic
Intuitionistic type theory
N
Nonconstructive proof
P
Primitive recursive arithmetic
U
Ultrafinitism
Category
:
Philosophy of mathematics
Views
Category
Discussion
Current revision
Navigation
Main page
Contents
Featured content
Current events
interaction
About Wikipedia
Community portal
Contact us
Make a donation
Help
Search