Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

constructivism · Vinony

EntityQ1137814· pop 23· linked from 195 articles

constructivism

Sign in to save

mathematical viewpoint that existence proofs must be constructive

Connections

Luitzen Egbertus Jan Brouwer

existential quantification

intuitionistic type theory

categorical logic

computer science

International Standard Book Number

rational number

Categories

Constructivism (philosophy of mathematics)Epistemology

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.44

Entitydist 0.45

Category:Constructivism (mathematics)

Entitydist 0.47

Constructive realism

Entitydist 0.48

Entitydist 0.50

Entitydist 0.51

constructionism

Entitydist 0.51

radical constructivism

Entitydist 0.51

Entitydist 0.54

constructal theory

Entitydist 0.56

working hypothesis

Entitydist 0.57

Entitydist 0.57

What links here195 pages

existence theorem

philosophy of mathematics

constructive proof

reverse mathematics

intuitionistic logic

Luitzen Egbertus Jan Brouwer

category theory

foundations of mathematics

analytic philosophy

pure mathematics

Markov's principle