Conférences sélectionnées > Consultation thématique
|
Logique, calcul et représentation en contexte catégorique : le point de vue des monades Sylvain Cabanacq sciencesconf.org:sps2012:3021
|
Théorie du calcul et Sémantique Jean-Baptiste Joinet sciencesconf.org:sps2012:3031
|
Calculer avec des algorithmes, calculer avec des machines : un problème philosophique Maël Pégny sciencesconf.org:sps2012:3035
|
Comprendre les mathématiques pour comprendre la philosophie : le cas du récit de Théétète dans l'ouvrage éponyme de Platon Salomon Ofman sciencesconf.org:sps2012:3553
|
Carnap's Conventionalism in Geometry Stefan Lukits sciencesconf.org:sps2012:3589
|
|