Archivo de la categoría: lógica

Grupos simples de cardinal infinito arbitrario

Típicos ejercicios de un curso en teoría de grupos incluyen: probar que hay tantos grupos simples de orden tal, o que no hay grupos simples de orden cual. Rara vez uno trata con grupos simples infinitos, y yo de hecho caí … Seguir leyendo

Publicado en grupos, lógica | Deja un comentario

Modelos de ZFC versus modelos de la teoría de grupos

Algo que me caracteriza es que me molesta un pelín decir cosas que son inciertas o que no están del todo bien enunciadas, porque no me gusta crear falsas imágenes de las cosas, o imágenes distorsionadas. En particular, hoy me … Seguir leyendo

Publicado en conjuntos, lógica, Uncategorized | Deja un comentario

Yo no soy un formalista

Esto es una especie de salida del clóset. En base a cosas que estudié para UCS sobre la escuela formalista de Hilbert, y el libro de lógica que estoy leyendo, estoy descubriendo mi postura frente a ciertas cosas de la … Seguir leyendo

Publicado en filosofia de la matemática, lógica | 6 comentarios

El proceso de formalización de la lógica matemática

Como ensayo final para “Universidad, ciencia y sociedad” escribí sobre el proceso de formalización de la lógica matemática, cuyo gran impulsor fue Hilbert. Para explicar qué fue lo que llevó a querer formalizar tanto la matemática, tomo como punto de … Seguir leyendo

Publicado en filosofia de la matemática, lógica | 7 comentarios

Cuerpos reales cerrados

Bueno, ahora que tengo tiempo libre en mis manos hasta que empiecen las clases, encaro a terminar de una vez las notas de álgebra 2 😛 Uno de los Señores libros clásicos de álgebra es el Jacobson (bueno, “los” Jacobson: … Seguir leyendo

Publicado en cuerpos y Galois, lógica | Deja un comentario