Cantor meets Robinson. Set theory, model theory and their philosohy

• Processo: 18/07577-5
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 12 de dezembro de 2018
• Data de Término da vigência: 15 de dezembro de 2018
• Área do conhecimento: Interdisciplinar
• Pesquisador responsável: Giorgio Venturi
• Beneficiário: Giorgio Venturi
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): História da matemática Categorias Álgebra Lógica Filosofia da matemática Fundamentos da matemática Estruturalismo Forcing
• Palavra(s)-Chave do Pesquisador: Algebra | Axiomas de Forcing | Cantor | Categorias | Estruturalismo | Filosofía da matemática | Forcing | Grandes cardinais | História da matemática | Indipendencia | Lógica | Pluralismo | Robinson | Teoria de conjuntos | Teoria de modelos | Fundamentos da matemática

Resumo

Georg Cantor (1845-1918) é amplamente reconhecido como o criador da teoria de conjuntos e uma das mais importantes figuras no desenvolvimento de uma abordagem moderna à matemática. Abraham Robinson (1918-1974) é considerado uma eminente personalidade na teoria de modelos, um campo que ele ajudou a inovar com novas técnicas e resultados. Nesta conferência celebramos o centenário do ano de 1918, quando eles idealmente se encontraram e a tocha passou de Cantor para o Robinson.O tópico da conferência é a interação entre teoria de conjuntos e teoria de modelos, de uma perspectiva matemática e filosófica, com particular ênfase no método de forcing. Esse método, inventado por Cohen em 1963, facilitou não somente uma prova da independência da Hipótese do Contínuo, mas também pôs no centro da teoria de conjuntos o estudo de seus modelos. Sua versão modelo-teórica, inventada por Robinson, tenta generalizar a noção de campos algébricos fechados a outras áreas da matemática.A conferência objetiva reunir estudiosos em início de carreira a fim de fomentar colaborações e para apresentar uma ampla perspectiva nos tópicos que Cantor e Robinson ajudaram a criar e desenvolver. (AU)