|
France PhilMath Workshop, IVold_uid | 11686 |
---|
title | France PhilMath Workshop, IV |
---|
start_date | 2012/10/05 |
---|
schedule | 09h30-19h15 |
---|
online | no |
---|
location_info | Grande Salle |
---|
summary | Morning
9h30-11h00 Sébastien Gandon (Clermont-Ferrand), Rota on Combinatorics and Philosophy
11h15-12h45 Marianna Antonutti (Bristol), Incompleteness and Absolute Provability
Afternoon
14h15-15h45 Edoardo Rivello (Pisa), Revision without ordinals
16h00-17h30 Jean-Pierre Marquis (Montreal), Canonical Maps and Category Theory – Or why categorical foundations are necessary
17h45-19h15 Olivia Caramello (Cambridge), The unification of mathematics via topos theory |
---|
responsibles | <not specified> |
---|
| |
|