⌘K

Áreas

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

Nivel

①Secundaria ②Bachillerato1 ③Grado3 ④Posgrado1 ⑤Investigación

Formato

≡Curso ◈Explicación4 ◉Análisis1 ▶Ensayo visual ✎Ejercicio

Explorar/Foundations & Logic/Metalogic

Metalogic

Ningún artículo

Metamathematics Metatheorem Metatheory Metavariable Metalinguistic variable Metasyntactic variable Completeness logic Decidability logic Validity logic Tautology logic Barwise compactness theorem Lowenheimskolem theorem Lowenheim number Godels completeness theorem Original proof of godels completeness theorem Lindstroms theorem Craig interpolation Cointerpretability Equiconsistency Robinsons joint consistency theorem Lindenbaums lemma Tarskis undefinability theorem Truth predicate Semantic theory of truth + 8 más

∅

Todavía no hay artículos en esta categoría — están en camino.

Tendencias

1

x + 1/x = 3, y la escalera hasta x⁵ + 1/x⁵Algebra · 7 min

2

Por qué los triángulos aleatorios atrapan el centro del círculo una de cada cuatro vecesProbability & Statistics · 9 min

3

Máquinas de vectores de soporte: gana la calle más anchaMathematics & Computer Science · 8 min

Recientes

•

Todo torneo contiene una cadena ganadora (teorema de Rédei)Explainer · 7 min

•

¿Qué polinomios aplican ℚ sobre ℚ? La respuesta completaDeep dive · 11 min

Los nuevos artículos, directos a tu correo

Acepto recibir emails de Lambdia y he leído la política de privacidad. Baja en cualquier momento.

Síguenos

© 2026 LambdiaTérminos · Privacidad · El ebook