Category: Teaching
-
Engineering in Mathematics
Spanish version below I had no time to invest in this blog, but I managed to gather some to write an invited post in Lawrence Paulson’s Machine Logic. It is related to new trend of computer formalization of mathematics, in which I have also been working. You can access it through this link. Aunque no…
-
Mejor, el Principio de Hausdorff
English version below Me he vuelto un opositor al Lema de Zorn (ZL). En sí, ZL no tiene nada de malo, y a su favor tiene una enorme fama entre los matemáticos tradicionales. Mi punto es que hay un mundo mejor, y es más barato: se llama “Principio maximal de Hausdorff (HMP)”.
-
La Aritmética de Peano
Don Giuseppe Peano publicó en 1889 un libro que incluía una axiomatización de los números naturales $\N$, teniendo algunos antecedentes que cualquier usuario de Wikipedia puede averiguar. Esencialmente, son los siguientes: 1. Hay un elemento distinguido $0\in\N$. 2. Hay una función inyectiva $S:\N\to\N$, llamada sucesor, tal que $0$ no está en la imagen de $S$.…
-
Juegos y De Morgan
Comencemos con la definición de límite de primer año de la facultad: $\lim_{x\to 0} f(x) = l$ si y sólo si \[ \forall \ep >0 \exists \del >0 \forall x : 0< |x|< \del \ent |f(x)-l|< \ep. \] De hecho, es una definición complicada (medida en cuantificadores alternados, $\forall\exists\forall$; ninguna natural supera los cinco). Por…
-
Bernstein
Felix Bernstein ha dado su nombre a diversos resultados (insisto, diversos: desde la Teoría de Conjuntos a la genética). Forma, por ejemplo, una tríada junto a Cantor y Schröder en el teorema que prueba que la relación de comparación de cardinales es antisimétrica. Pero quiero dedicarme en este post a los “conjuntos de Bernstein”.
-
Lecturas iniciales en Teoría de Conjuntos
En sólo un día y medio comenzará el Congreso Monteiro, y con la suerte de tener el marco de un nutrido menú de charlas plenarias muy interesantes, también comenzará mi pequeño curso sobre el Axioma de Martin ($\MA$). En la web del congreso están subidas las notas del curso, que esencialmente contienen los últimos posts…
-
Aplicaciones del Axioma de Martin
Como prometimos, veremos a continuación algunas aplicaciones del Axioma de Martin. Recordemos que $\CH$ implica (o más bien, “trivializa”) a $\MA$. El Axioma de Martin comparte varias consecuencias de $\CH$, pero por razones distintas. Donde $\CH$ obliga a varias familias a tener cardinal $2^{\ale0}$ por “falta de lugar” (no hay cardinales entre $\ale0$ y $2^{\ale0}$),…
-
El Axioma de Martin
En un post anterior dimos las definiciones básicas de conjuntos densos y filtros genéricos en conjuntos parcialmente ordenados (“posets”), y enunciamos el Teorema de Existencia de Filtro genérico, que copiamos a continuación: Teorema 1. Si $\mathbb{P}$ es un poset, $\mathcal{D}$ es una familia contable de subconjuntos densos de $\mathbb{P}$ y $p\in\mathbb{P}$, hay un filtro $\mathcal{D}$-genérico…
-
Nociones de Forzamiento
La técnica de forcing o forzamiento permite construir objetos mediante aproximaciones. En general es muy difícil o imposible dar una descripción completa del objeto a construir, pero esto no significa que no haya uno: muchas veces son la mayoría, y la gran idea detrás del forcing es que el objeto “genérico” cumplirá con los requerimientos,…
-
Fuerza de Consistencia
En una serie de posts de Facebook, un compañero de la facultad comentaba sobre la posibilidad de que la Conjetura de Goldbach sea independiente de los axiomas de la matemática. Yo creo que no es el caso, y supongo que los expertos que conocen de ambos temas coinciden conmigo, pero de todos modos es interesante…