Logique, langage, philosophie des mathématiques

Formalisation vs. Meaning in Mathematics: Formal theories as tools for understanding Themes from the work of Göran Sundholm.

Undefined
Responsable (s)
PANZA Marco
Day 1 - June 13th, 2019 - IHPST, Salle de Conférences
 
Chair: Maria van der Schaar
9.00 - 10.30 Giuseppe PrimieroFrom Proof to Designs
10.30 - 10.45 Coffee break
10.45-12.15  Francesca PoggiolesiGrounding Principles  for (Relevant) Implication
12.15-14 lunch
Chair: Michel Bourdeau

Pages