Colloque | Indiscernibility & abstraction : classification and types
Ce colloque prolonge le colloque interdisciplinaire d'histoire et philosophie de la logique et des mathématiques, coordonné en février 2019 par Jean-Baptiste Joinet au titre de IRPhiL. Cette précédente édition était intitulée "The theory of definitions by abstraction: roots, History, Contemporary developments".
Le colloque abordera la problématique de l'abstraction, plus spécifiquement sous l'angle philosophique et épistémologique de l’indiscernabilité, de la classification et la notion de Type.
Enregistré le : 27/11/2019
Intervenant(s) : Hermann Hauesler, Laboratoire Méthodes Formelles, Logique et Raisonnement. PUC-Rio de Janeiro, Département d’Informatique
Réalisation : PAPN