“Ai confini tra numeri e insiemi”
Venerdì 8 Marzo 2024, ore 16:00 - Aula 2AB45 - Samuele Maschio (Dipartimento di Matematica “Tullio Levi-Civita”)
Conferenza “Patavina Mathesis”
Abstract
In questo seminario mostrerò alcuni esempi classici di proposizioni “matematiche” formalizzabili nell’aritmetica del primo ordine di Peano PA, dimostrabili nella teoria degli insiemi, ma non dimostrabili in PA.
A differenza di proposizioni di carattere più squisitamente logico con queste proprietà, queste proposizioni riguardano oggetti matematici che potremmo definire “più tradizionali”, come successioni ricorsive di numeri naturali, partizioni di insiemi di naturali e particolari tipi di numeri.
Questi esempi ci permetteranno di apprezzare la particolarità del confine esistente tra numeri e insiemi.
Samuele Maschio è Ricercatore in Matematiche Complementari presso il Dipartimento di Matematica “Tullio Levi-Civita” di Padova.
Nella sua ricerca si occupa del rapporto tra diverse teorie fondazionali e di logica categoriale.
