SEZIONE MATHESIS DI VENEZIA – 37^ GARA MATEMATICA “CITTA’ DI PADOVA”
Il 6 aprile 2024 si svolgerà a Padova la 37^ Gara Matematica “Città di Padova” organizzata dall’Associazione Patavina Mathesis in collaborazione con MATHESIS VENEZIA ed il Dipartimento di Matematica “Tullio Levi Civita” dell’Università di Padova. Potete trovare la locandina dell’evento al seguente link: https://drive.google.com/file/d/1s6g8LtiQEwegZuUQeIMfhAIe-B4a3Spw/view?usp=drive_link
“Ai confini tra numeri e insiemi” – Conferenza di Samuele Maschio – ricercatore di UniPd
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 […]