15/02/2007, 15:00 — 16:00 — Room P3.10, Mathematics Building 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.
