Séminaire « Codes sources »
L'objectif du séminaire Codes sources est de présenter la pensée informatique là où elle s'exprime le plus concrètement : dans les textes que sont les codes sources. Séance du jeudi 20 mai 2021 (14h-16h) : Valeria GIARDINO (CNRS, Institut Jean-Nicod, ENS Paris) : « "Nous sommes des êtres spatiaux" : qu’entendons-nous exactement ? » Résumé : Certaines études récentes en neurosciences ont fait l’hypothèse que les acquisitions culturelles nouvelles « recyclent » des architectures neurales préexistantes héritées de notre évolution (Dehaene & Cohen, 2007) ou que notre pensée symbolique abstraite « émerge » de la réutilisation de circuits cérébraux plus anciens originairement consacrés à d’autres tâches plus concrètes qui assument des fonctions culturellement spécifiques, en suivant un parcours d’enculturation (Menary 2015). Dans un cadre plus théorique, nous avons proposé que le fonctionnement et l’utilisation de certains « artefacts cognitifs » tels que le boulier ou certaines figures géométriques dépendent d’une faculté que nous appelons « diagramming » – diagrammatisation – qui résulte de la coordination entre plusieurs systèmes déjà disponibles dans sa propre relation avec l’environnement tels que la perception, l’action et la connaissance conceptuelle, en vue de la résolution d’un problème cognitif (Giardino, 2014). Une place centrale dans cette perspective semble être réservée à la cognition de l’espace (Tversky, 2019). Cependant, les détails de ce cadre de pensée restent encore à préciser. Que « recycle »-t-on exactement de nos compétences spatiales dans des tâches plus abstraites, par exemple dans les mathématiques avancées ? Parle-t-on des caractéristiques de l’espace de notre corps ou de l’espace du monde qui nous entoure, ou bien des aspects invariants des actions que nous amenons dans cet espace, pour nous orienter ou pour y naviguer ? Dans notre intervention, nous essayerons de discuter ces différentes hypothèses et leurs possibles retombées sur l’apprentissage et la définition des bonnes stratégies d’entraînement cognitif et d’enseignement. Lieu : Par vidéoconférence via Zoom à l'adresse https://zoom.us/j/95423800835?pwd=NVIyNm4zb2JHTGU2RFJXSUZsV3lkQT09 (Identifiant Zoom de réunion : 954 2380 0835) ------------------------------------------------------------------------ Prochaines séances du séminaire Codes sources : - 17 juin 2021 : Agathe KELLER (CNRS, SPHERE, Université Paris-Diderot) : « Des textes d’algorithmes concis, quelques exemples tirés de sūtras d’Āryabhaṭa (né en 476) et de son commentaire par Bhāskara (629) » Sauf mention contraire, toutes les séances ont lieu de 14 heures à 16 heures à l'IRILL. ------------------------------------------------------------------------ /* *************************************** * À propos du séminaire Codes sources * *************************************** */ À celui seul qui prend la peine de les lire effectivement, les codes sources révèlent leur richesse. On y découvre que l'élégance d'un algorithme réside parfois hors de sa complexité, dans l'usage virtuose des idiomes du langage de programmation ou dans la connaissance fine de la machine à laquelle il est destiné. Bien souvent des codes sources comportent davantage de lignes de commentaires que de code. Tous ces trésors de pensée informatique fondent à la compilation comme neige au soleil — preuve qu'un programme n'est pas seulement écrit pour être compilé. Le but du séminaire est de décrire ces œuvres de l'esprit comme des textes à part entière. Nous espérons ainsi contribuer à la constitution d'une culture générale en programmation. En informatique comme en littérature, cela suppose la familiarisation progressive avec un corpus de grands textes. À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé en informatique, en histoire ou en philosophie — présente, en moins d'une heure, un code source de son choix : un fragment de système d'exploitation, de pilote, de compilateur, de bibliothèque... Le code peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources ------------------------------------------------------------------------ -- Baptiste MÉLÈS CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/ Archives Henri-Poincaré—PReST (CNRS UMR 7117, Université de Lorraine) 91 avenue de la Libération, 54000 Nancy, France Secrétaire des Amis de Jean Cavaillès | http://cavailles.hypotheses.org/ - Pour une réponse rapide, n'hésitez pas à me téléphoner | Do not hesitate to call me for a sooner response. -- No attachments (even text) are allowed -- -- Type: application/pgp-signature -- File: signature.asc -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
