Logique, langage, philosophie des mathématiques

Séminaire PhilMath : 2018-2019

1. Objectifs. Créé en 1997, ce séminaire est un lieu de réflexion et de discussion ouvert sur l’ensemble des problèmes métaphysiques, sémantiques, logiques et cognitifs soulevés, d’une part par les mathématiques pures et appliquées, et d’autre part par la logique.  L’histoire et la pratique de ces disciplines est un élément essentiel des travaux présentés et discutés.

Undefined

Lancement du Projet FFIUM (Formalism, Formalization, Intuition and Understanding in Mathematics)

Undefined
Responsable (s)
PANZA Marco
HEINZMANN Gerhard

FFIUM (Formalism, Formalization, Intuition and Understanding in Mathematics) - ANR-DFG Joint Scheme

Pages