⌘K

Domaines

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Niveau

①Collège ②Lycée1 ③Licence3 ④Master1 ⑤Recherche

Format

≡Cours ◈Explication4 ◉Analyse1 ▶Essai visuel ✎Exercice

Explorer/Foundations & Logic/Constructivism

Constructivism

Aucun article

Apartness relation Arend heyting Assembly Bar induction Brouwer hilbert controversy Choice sequence Churchs thesis Constructive analysis Constructive proof Dirk van dalen Ethical intuitionism George f c griss Harrop formula Henri lebesgue Heyting arithmetic Heyting field Indecomposability L e j brouwer Leopold kronecker Limited principle of omniscience Markovs principle Michael dummett Borel mile Modulus of continuity Non constructive algorithm existence proofs Spread Subcountability

∅

Pas encore d'articles dans cette catégorie — ça arrive.

Tendances

1

x + 1/x = 3, et l'échelle jusqu'à x⁵ + 1/x⁵Algebra · 7 min

2

Pourquoi les triangles aléatoires attrapent le centre du cercle une fois sur quatreProbability & Statistics · 9 min

3

Machines à vecteurs de support : la rue la plus large gagneMathematics & Computer Science · 8 min

Récents

•

Tout tournoi contient une chaîne gagnante (théorème de Rédei)Explainer · 7 min

•

Quels polynômes envoient ℚ sur ℚ ? La réponse complèteDeep dive · 11 min

Les nouveaux articles, direct dans ta boîte mail

J'accepte de recevoir des emails de Lambdia et j'ai lu la politique de confidentialité. Désinscription à tout moment.

Suivez-nous

© 2026 LambdiaMentions légales · Confidentialité · L'ebook