Tag: descriptive set theory
-
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”.
-
Brevísimo panorama de la Teoría de Conjuntos
Como parte de un plan de trabajo que debí presentar recientemente, incluí una cortísima reseña sobre teoría de conjuntos. Aprovecho el trabajo hecho para compartirla por aquí. La Teoría de Conjuntos (TC) tiene un doble rol en la matemática: es a la vez su fundamento y dentro de ella es un área de investigación vigente.…
-
Describing Behavior
This is a follow up of a previous post where a formalization of the concept of behavior –bisimilarity– was presented. Now I want to focus into one approach to characterize “equivalence of behavior,” that is, when two states of a system are bisimilar.