unset title
>
Contact_plural
>
Pataut
login
login
password
log in
cancel
search
Pataut
lastname
Pataut
firstname
Fabrice
organisation
IHPST - CNRS, Université Paris 1 Panthéon-Sorbonne
old_uid
641
responsibles_object
Determinate Truths
Practical rationality and structuralism
What is formal in Aristotle’s syllogistic?
Decision procedures and proof theory: the case of intuitionistic K
Three dimensions of mathematical explanations
∂ is for dialectica: when proofs and programs meet differentiation
Philosophie des mathématiques et de la logique (séminaire Philmath de l’IHPST, UMR 8590 CNRS, Université Paris 1-Panthéon Sorbonne) (2023)
Goals and Values in Mathematics: An Orientation
speakers_object
Titre non précisé