- Fields of mathematics
- >
- Mathematical logic
- >
- Constructivism (mathematics)
- >
- Intuitionism

- Fields of mathematics
- >
- Mathematical logic
- >
- Non-classical logic
- >
- Intuitionism

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Constructivism (mathematics)
- >
- Intuitionism

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Non-classical logic
- >
- Intuitionism

Constructive analysis

In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics.This contrasts with classical analysis, which (in this context) simply mean

Intuitionistic type theory

Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics.Intuitionistic type theory was created by P

Brouwer–Hilbert controversy

In a controversy over the foundations of mathematics, in twentieth-century mathematics, L. E. J. Brouwer, a proponent of the constructivist school of intuitionism, opposed David Hilbert, a proponent o

Constructive set theory

Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory.The same first-order language with "" and "" of classical set theory is usually used

Heyting arithmetic

In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.

Peirce's law

In logic, Peirce's law is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. It can be thought of as the law

Henri Lebesgue

Henri Léon Lebesgue ForMemRS (French: [ɑ̃ʁi leɔ̃ ləbɛɡ]; June 28, 1875 – July 26, 1941) was a French mathematician known for his theory of integration, which was a generalization of the 17th-century c

Spread (intuitionism)

In intuitionistic mathematics, a species is a collection (similar to a classical set in that a species is determined by its members). A spread is a particular kind of species of infinite sequences def

Dialectica interpretation

In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called

Arend Heyting

Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.

Carl Friedrich Gauss

Johann Carl Friedrich Gauss (/ɡaʊs/; German: Gauß [kaʁl ˈfʁiːdʁɪç ˈɡaʊs]; Latin: Carolus Fridericus Gauss; 30 April 1777 – 23 February 1855) was a German mathematician and physicist who made significa

L. E. J. Brouwer

Luitzen Egbertus Jan Brouwer (/ˈbraʊ.ər/; Dutch: [ˈlœy̯tsə(n) ɛɣˈbɛrtəs jɑn ˈbrʌu̯ər]; 27 February 1881 – 2 December 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a

George F. C. Griss

George François Cornelis Griss (30 January 1898, Amsterdam – 2 August 1953, Blaricum), usually cited as G. F. C. Griss, was a Dutch mathematician and philosopher, who was occupied with Hegelian ideali

Inquisitive semantics

Inquisitive semantics is a framework in logic and natural language semantics. In inquisitive semantics, the semantic content of a sentence captures both the information that the sentence conveys and t

Stephen Cole Kleene

Stephen Cole Kleene (/ˈkleɪni/ KLAY-nee; January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post

Harrop formula

In intuitionistic logic, the Harrop formulae, named after , are the class of formulae inductively defined as follows:
* Atomic formulae are Harrop, including falsity (⊥);
* is Harrop provided and ar

Leopold Kronecker

Leopold Kronecker (German: [ˈkʁoːnɛkɐ]; 7 December 1823 – 29 December 1891) was a German mathematician who worked on number theory, algebra and logic. He criticized Georg Cantor's work on set theory,

Intuitionistic logic

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion

Michael Dummett

Sir Michael Anthony Eardley Dummett FBA (27 June 1925 – 27 December 2011) was an English academic described as "among the most significant British philosophers of the last century and a leading campai

Double-negation translation

In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic log

Intuitionism

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 activ

Émile Borel

Félix Édouard Justin Émile Borel (French: [bɔʁɛl]; 7 January 1871 – 3 February 1956) was a French mathematician and politician. As a mathematician, he was known for his founding work in the areas of m

© 2023 Useful Links.