L'8 maggio 2017 si terrà presso la Pontificia Università Lateranense il Simposio Internazionale che celebrerà i 20 anni di lavori del "The International Research Area on Foundations of the Sciences"
Programma:
9.00-9.15. Farewell Speech: Bishop Enrico Dal Covolo, PUL President.
9.15-9.30. Symposium Introduction: Gianfranco Basti, IRAFS Director.
Session I: Mathematics and Physics
9.30-10.15: Roger Penrose (Oxford University): The Big Bang and its Dark-Matter Content: Whence, Whither, and Wherefore
10.15-11.00: Sarah Jones Nelson (IRAFS): A New Ontology of Integers: Questions of Proof and Consistency
11:00-11:30 Coffee Break
11.30-12.15: Gianfranco Basti (PUL), Non-wellfounded sets and quantum topologies in physics, logic, and computer science
12.15-12.45: Discussion
12.45-14.00: Lunch
II Session Mathematics and Computer Science
14.00-14.45: Marco Forti (University of Pisa): Numerosity theory: counting the infinite in a Euclidean way
14.45-15.30: Davide Sangiorgi (University of Bologna): The origins of coinduction: from anti-foundation axioms and morphisms to bisimulation
15.30-16.00: Discussion
16.00: Symposium Ends
Scientific Committee:
Gianfranco Basti, Flavia Marcacci, Sarah Nelson.
Organizing Committee:
Flavia Marcacci, Alfonso D’Amodio
Informazioni:
La partecipazione è libera ma i posti sono limitati
Please e-mail eventi@pul.it
Sede:
Pontificia Università Lateranense
Piazza San Giovanni in Laterano 4, 00184 Roma