Seminário de Álgebra  RSS

15/02/2007, 15:00 — 16:00 — Sala P3.10, Pavilhão de Matemática
Luís Pereira, Université Paris VII

How to see that a statement might be undecidable

We will explain how to use mathematical logic in order to of classifying the complexity of a mathematical statement and at what level of complexity there are natural statements which are undecidable, for example, morphisms of uncountable algebras. Also, we will define basic objects of set theory and explain the reason why there are statements which are undecidable in a natural way and why undecidability is very different from ignorance.

Organizador actual: Gustavo Granja

CAMGSD FCT