Cantor Meets Robinson. Set Theory, Model Theory and Their Philosophy (2018)

Enviado por ifchinfo em

Georg Cantor (1845-1918) is widely recognized as the creator of set theory and one of the most important figures in the development of a modern approach to mathematics. Abraham Robinson (1918-1974) is considered a prominent personality in model theory, a field that he helped to innovate with new techniques and results. In this conference we celebrate the centenary of the year 1918, when they ideally met and the torch was passed.

The topic of the conference is the interplay between set theory and model theory, both from a mathematical and a philosophical perspective, with particular emphasis on forcing. This method, invented by Cohen in 1963, facilitated not only a proof of the independence of the CH, but also placed at the center of set theory the study of its models. Its model theoretic version, invented by Robinson, attempts to generalize the notion of algebraic closed fields to other areas of mathematics.

The conferece aims to gather early career scholars in order to foster collaborations and to present a wide perspective on the topics that Cantor and Robinson helped to create and develop.

Data Inicial
Data Final
Local
Campinas
Exibir na pagina principal
Não
Publicar em
Arbitrariness and Genericity