Colloque | The theory of definitions by abstraction : roots, history, contemporary developments

11 février 2019 14h30 à 18h30
12 février 2019 de 09h00 à 17h00

Ce colloque interdisciplinaire abordera différents aspects historiques et philosophiques de la théorie mathématique des « définitions par abstraction », notamment chez Leibniz, Peano (et son école), Frege, Russell, Lorenzen, Vuillemin ou encore dans des approches contemporaines liées à la théorie des modèles ou la théorie des types.

Colloque interdisciplinaire - Histoire et Philosophie des mathématiques et de la logique / Interdisciplinary workshop - History and Philosophy of Logic and Mathematics

Programme et informations, cliquez ici