|
France PhilMath Workshop, IV| old_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> |
|---|
| |
|