|
| Día |
Lunes 26 de mayo de 2025
|
 |
| Hora: |
15:00 hs |
|
| Lugar: |
A confirmar.
|
|
| Expositor: |
Pedro Marun
(Institute of Mathematics, Czech Academy of Science, República Checa)
|
|
|
Título:
|
Independencia en matemática
|
| Resumen: |
En la práctica matemática, los enunciados que uno encuentra suelen ser de dos tipos:
verdaderos o falsos. Existe, sin embargo, una tercera posibilidad,
y es que el enunciado en cuestión sea independiente,
es decir el mismo no puede ser ni demostrado ni refutado usando
los axiomas usuales de la matemática.
El objetivo de esta charla es bosquejar cómo se demuestra que algo no
es demostrable: mencionaremos primero el argumento original de Gödel
para la consistencia de la Hipótesis del Continuo, y luego daremos un
descripción informal de cómo funciona el método de forcing,
introducido por Cohen para probar la consistencia de la
negación de la Hipótesis del Continuo.
Si el tiempo lo permite, mencionaremos algunos problemas modernos
relacionados con forcing y topología general.
|
