Workshop du GHPS : Epistemological aspects of computing
Epistemological aspects of computing
Workshop organisé par le GHPS dans le cadre des activités du programme CAPES-COFECUB « Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques »
Samedi 10 Décembre 2011, ENS, 45 rue d’Ulm, Salle Weil (13h-19h30)
-
Gisele Secco (PhD, PUC-Rio), The Four-Colour theorem : remarks on its history, proof and some of its philosophical consequences
-
Maël Pégny (PhD, Paris 1 & Philosophies contemporaines), Computing with machines, simulating with machines
-
Florent Franchette (PhD, Paris 1 & IHPST), L’hyper-calcul face au problème de la vérification
-
Jean-Baptiste Joinet (Paris 1 et Cirphles-GHPS), On the epistemological status of programming languages
- Gilles Dowek (DR INRIA, chargé de cours en Master Lophisc à Paris 1), Outils de calcul et jugements analytiques