Intuitionism

German mathematician who worked on number theory and algebra (1823–1891)

French mathematician and politician (1871-1956)

French mathematician (1875–1941)

Dutch mathematician and logician (1881–1966)

British philosopher (1925–2011)

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possibl

American mathematician and theoretical computer scientist (1909–1994)

various systems of symbolic logic

Dutch mathematician and logician (1898-1980)

family of views in moral epistemology

Axiom used in logic and philosophy

alternative foundation of mathematics

interpretation of intuitionistic logic

Dutch mathematician

axiomatization of arithmetic