Algebra and Logic Seminar - 12/11/2014

Wednesday, 12 November 2014, 2:00 p.m.

Lecturer: António Fernandes (DM-IST-UL)

Title: "Forcing — o legado de Cohen"

Local: Room 1.13, Edifício VII
Faculdade de Ciências e Tecnologia, Quinta da Torre, Caparica

Abstract: No início da década de 1960, Paul Cohen, recorrendo a ideias radicalmente novas propôs uma forma de descrever modelos da teoria de conjuntos, modelos esses que utilizou para demonstrar que, tanto a hipótese do contínuo como o axioma da escolha não se podem demonstrar na teoria de conjuntos (um resultado que conjuntamente com os resultados de Kurt Gödel permitiu estabelecer a independência daqueles princípios relativamente a essa teoria). 

Neste seminário tentaremos fornecer uma introdução conceptual ao método de forcing (evitando aspectos técnicos tanto quanto possível), fornecendo simultaneamente uma descrição das motivações do próprio Cohen.