Venerdì 8 marzo 2024, 16.00 – 17.30
Torre Archimede, aula 2AB45 – Zoom: https://unipd.zoom.us/j/86860624447 (ID riunione: 868 6062 4447)
Abstract: in questo seminario mostrerò alcuni esempi clas-
sici di proposizioni “matematiche” formalizzabili nell’arit-
metica del primo ordine di Peano PA, dimostrabili nella teo-
ria 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ù tradizio-
nali”, come successioni ricorsive di numeri naturali, parti-
zioni di insiemi di naturali e particolari tipi di numeri.
Questi esempi ci permetteranno di apprezzare la particola-
rità del confine esistente tra numeri e insiemi.
