⌘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/Computability theory

Computability theory

Aucun article

Turing machine Halting problem Recursive function Degrees of unsolvability Computability Oracle machine Turing degree Turing jump Turing computability Busy beaver Decision problem Undecidable problem Decidable set Decidable language Recursive set Computable set Recursive language Recursively enumerable set Computably enumerable set Recursively enumerable language Computable function General recursive function Partial function Primitive recursive function + 326 de plus

∅

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