Conferência 'Cantor Meets Robinson - Set theory, model theory and their philosophy'

A Unicamp sedia conferência Cantor Meets Robinson - Set theory, model theory and their philosophy, dias 12 à 15 de dezembro, no Auditório 'Hebe de Azevedo Biagioni' do Instituto de Matemática, Estatística e Computação Científica (Imecc).

A proposta da conferência é celebrar o centenário do ano de 1918, marcado pelo falecimento do matemático Georg Cantor (1845-1918), o criador da teoria dos conjuntos e uma das figuras mais importantes no desenvolvimento de uma abordagem moderna da matemática, e nascimento de Abraham Robinson (1918-1974) desenvolveu a análise não-padronizada, um sistema matematicamente rigoroso para o tratamento dos números infinitesimais e infinitos. 

O evento propõe discutir a interação entre a teoria dos conjuntos e a teoria dos modelos, tanto do ponto de vista matemático quanto filosófico. reunindo pesquisadores a fim de promover colaborações e apresentar uma ampla perspectiva sobre os tópicos que Cantor e Robinson ajudaram a criar e desenvolver.

A programação pode ser conferida no site da Conferência.