Programa de Internacionalização

Com o objetivo de fomentar a criação e consolidação de planos estratégicos de internacionalização, a formação de redes de pesquisas internacionais, promover a mobilidade de docentes, pesquisadores e discentes vinculados a programas de pós-graduação stricto sensu com cooperação internacional e, por fim, fomentar um ambiente internacional nas instituições de pesquisa, a CAPES criou o Programa Institucional de Internacionalização – CAPES - PrInt. Neste sentido, a Unicamp foi uma das universidades selecionadas para participar desse programa de internacionalização.

Aqui na Unicamp, o PrInt funciona de maneira descentralizada, onde foram formulados projetos institucionais de internacionalização, onde a estratégia foi formulada a partir da formulação de temáticas transversais que permitiria a integração de docentes e pesquisadores de um ou mais Programas de Pós-Graduação.

O PrInt é hoje uma das principais ferramentas de internacionalização de nosso Instituto e tem sido peça fundamental para consolidar as redes e acordos de pesquisa internacionais.

Abaixo relacionamos os dados do projeto PrInt o qual se inserem os docentes e discentes de nosso Programa:

Arbitrariness and genericity: or on how to speak of the unspeakable

Responsáveis: Marcelo Esteban Coniglio

Membros: HUGO LUIZ MARIANO, Marco Antonio Caron Ruffino, MATTIA PETROLO, Sourav Tarafder

The project deals with the interplay of language, logic, and mathematics. The main theme of the project is the study of the expressivity of our language when applied to mathematics concepts. The chosen perspective is that of the notion of arbitrariness, specifically in the context of set theory. The goal of this project is to investigate how modern set theory, by means of the notion of genericity can formalize and capture the notion of arbitrariness. The project is divided in three main sections: historical, philosophical, and logical.

Ler mais