Category:Mathematical constructivism

From Wikipedia, the free encyclopedia

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

C

Constructive proof

C cont.

D

Disjunction and existence properties

F

Finitism

H

I

N

Nonconstructive proof

P

Primitive recursive arithmetic

U

Ultrafinitism

Retrieved from "http://en.wikipedia.org../../../m/a/t/Category%7EMathematical_constructivism_5363.html"

Category: Philosophy of mathematics

Views

Search