Séminaire Histoire et philosophie de l'informatique

L’informatique est né d’une rencontre entre mathématiciens, électroniciens, logiciens et linguistes.

Notre séminaire prendra comme guide cette pluralité originelle de la discipline en la concevant d’emblée comme une science au carrefour de plusieurs traditions scientifiques. A cette pluralité intrinsèque, nous faisons le pari d’ajouter une pluralité méthodologique d’approches réunissant notamment des informaticiens, des historiens, des spécialistes des sciences sociales et des philosophes, et de maintenir notre réflexion dans un contact permanent avec l’étude concrète des pratiques de l’informatique.

 

Produit d’une collaboration entre deux équipes, IHPST (UMR 8590) et STL (UMR 8163), le séminaire se tiendra à la fois à Paris et à Lille (https://calcul.hypotheses.org). 

 

Organisateurs IHPST: Alberto Naibo, Maël Pégny

Organisateurs STL: Liesbeth de Mol

 

Avec le soutien du projet Beyond Logic (ANR-DFG) et du projet HEPI (MESHS).

Responsable (s): 
Axe thématique: 

Séminaire Histoire et Philosophie de l'informatique 2015

Responsable (s): 

Séminaire Histoire et Philosophie de l'informatique : Edgar G. Daylight

Undefined
Thursday 15 January 2015 - 16:30 to 18:30
IHPST - Salle de conférence

Edgar G. Daylight (Universiteit Utrecht) interviendra sur le sujet : From the Pluralistic Past to the Pluralistic Present in Programming.

Séminaire Histoire et philosophie de l'informatique : Mark Priestley

Undefined
Thursday 12 February 2015 - 16:30 to 18:30
IHPST - Salle de conférence

Mark Priestley interviendra sur le sujet : Making a place for programmers: a new look at John von Neumann’s “first program’.

Résumé de l'intervention : Some computer workers of the mid-1940s, such as Grace Hopper and the "women of the ENIAC", are often referred to as "the first programmers". However, this term was not in use at the time, and the boundaries around different kinds of computer-related work were very fluid. In this talk I will look at accounts from the 1940s about how to solve problems with computers, and trace the emergence of the new role of "programmer".

Séminaire Histoire et philosophie de l'informatique : Giuseppe Primiero

Undefined
Thursday 12 March 2015 - 16:15 to 18:15
IHPST - Salle de conférence

Giuseppe Primiero (Middlesex University London) interviendra sur le sujet : Computer Science as Abstraction and Control.

Abstract: Although the philosophical debate on the nature of Computer Science is far from being settled, information remains an essential concept. A fortiori, information represents an optimal conceptual tool to explore the philosophy of computer science. Focusing strictly on the standard notion of digital computational system, I will show how CS is structured in terms of an epistemology of control and an ontology of abstraction on information. I will start from the lowest possible level of abstraction, where information is electric inputs running on wires; consider how that level is controlled through syntax; move to the semantics of programming languages and their control of algorithmic structures; investigate the intentional stance behind the programming and algorithm design practice, and finally summarize the analysis of the information flow within the computational system, analysing briefly how programs are interpreted and checked.

Résumé : Bien que le débat philosophique sur la nature de l'informatique soit loin d'être achevé, l'information y demeure un concept essentiel. A fortiori, l'information représente un outil conceptuel optimal pour examiner la philosophie de l'informatique. En me concentrant exclusivement sur la notion standard de système numérique computationnel, je montrerai comment notre vision de l'informatique peut être structurée par une épistémologie du contrôle et une ontologie de l'abstraction de l'information. Je partirai du plus bas niveau possible d'abstraction, où l'information est vue comme des impulsions électroniques parcourant des fils ; on considérera comment ce niveau est contrôlé par la syntaxe, puis on passera à la sémantique des langages de programmations et leur contrôle des structures algorithmiques. On passera ensuite à l'attitude intentionnelle qu'on peut trouver dans la pratique de la programmation et de la conception d'algorithmiques, pour enfin résumer l'analyse du flot d'information à l'intérieur du système computationnel, en voyant brièvement comment les programmes sont interprétés et vérifiés.

Séminaire Histoire et philosophie de l'informatique : Russ Abbott

Undefined
Tuesday 17 March 2015 - 13:30 to 15:30
Baptiste Mélès. Pierre-Eric Mounier-Kuhn

Abstractions and implementations: a computer science perspective on emergence, causality, and multi-level autonomy

Abstract. Fundamental to Computer Science is the distinction between abstractions and implementations. When that distinction is applied to various philosophical questions it yields the following conclusions.

  • Emergence. It isn’t as mysterious as it’s made out to be; the possibility of strong emergence is not a threat to science.
  • Causality and interactions. Physical interaction among higher-level entities is illusory. Abstract interactions are the source of emergence, new domains of knowledge, and complex systems.
  • The relationship between physics and the special sciences. The new domains of knowledge derived from abstract interactions are the basis of the autonomy of the special sciences.
  • Downward causation. It’s a zombie idea that should be replaced by downward entailment. 

Séminaire Histoire et philosophie de l'informatique : Gilles Dowek

Undefined
Thursday 23 April 2015 - 16:30 to 18:30
IHPST - Salle de conférence

Gilles Dowek (INRIA) interviendra sur le sujet : Sur la vérité des énoncés en informatique.

 

Séminaire Histoire et philosophie de l'informatique : Gérard Berry

Undefined
Thursday 28 May 2015 - 14:00 to 16:00
IHPST - Salle de conférence

Gérard Berry (Collège de France) interviendra sur le thème : "Le traitement du temps et des événements: de la physique à l'informatique".

Résumé : Le temps qui passe reste un grand mystère, dont le langage usuel a toujours été bien incapable de parler précisément : il est souvent réduit à  de jolies métaphores agricoles comme « sur le champ » et « à tout bout de champ », ou à des expressions physiquement étranges comme « le temps passe vite » ou « de longues minutes ». De plus, la mesure du temps a été longtemps erratique, ce qui posait de grand problème aux marins. Elle n’est réellement fiable que depuis la fin du 18e siècle, et l’heure mondiale n’existe que depuis la fin du 19e. En physique, on parle  traditionnellement de la ligne réelle du temps (sa flèche). Mais, en informatique, le besoin de parler de façon plus générale et bien plus souple du temps, et plus généralement des événements temporels, est devenu essentiel : les horloges dirigent le fonctionnement des circuits, l’informatisation des objets et leur mise en réseau conduit à la généralisation des systèmes cyber-physiques (conduite par ordinateurs d’automobiles, d’avions, de robots ou d’objets plus en plus variés, synchronisation temporelle de ces objets et de l’infrastructure), tous les ordinateurs et téléphones sont finement synchronisés à l’aide d’horloges atomiques et de protocoles informatiques sophistiqués, la gestion fine du temps est indispensable pour le fonctionnement interne des réseaux d’information ou d'énergie, les bases de données intègrent non seulement l’information mais aussi le temps auquel elle a été produite, etc.  Nous montrerons que tout ceci exige une approche tout à fait nouvelle du temps et des événements, dans laquelle le temps ou plutôt des temps sont engendré aussi bien par des mètres, des foulées ou des battements de coeur que par des secondes. Le temps devient ainsi fondamentalement multiforme et irrégulier, et ses instants peuvent ou non avoir de l’épaisseur. Nous expliquerons comment on peut rendre formelle cette nouvelle vision du temps pour spécifier et programmer les applications temporelles, et pourquoi les méthodes et langages associés (historiquement développés en France) sont utilisés dans des champs aussi variés que les circuits électroniques, les logiciels de haute sécurité ou la composition musicale.

 

 

 

Séminaire Histoire et philosophie de l'informatique : Frank Varenne

Undefined
Thursday 11 June 2015 - 16:30 to 18:30
IHPST - Salle de conférence

Franck Varenne (Université de Rouen) interviendra sur le sujet : L’informatique entre émulation et simulation.

Résumé de l'intervention : Si nous acceptons de reconnaître que l’informatique entendue au sens de computer science n’est en réalité ni la « science des computers » comme nous en avertit Dijkstra, ni même la science du traitement de l’information, que nous reste-t-il pour la caractériser ? Cet exposé proposera de se pencher sur ce que les pratiques contemporaines multiples de modélisation et de simulation laissent voir de la nature de l’informatique. Je suggèrerai l’idée que l’informatique s’y laisse percevoir comme une science et technologie féconde mais - lorsqu’il s’agit de s’expliquer ou d’interpréter ses succès - toujours tiraillée entre des explications invoquant tantôt l’émulation, tantôt la simulation, deux pratiques épistémiques apparentées et pourtant radicalement distinctes. Car si l’émulation n’est qu’une variété de simulation - une « simulation parfaite » (Copeland 2004) -, s’il n’y a qu’une différence de degré entre elles, on ne voit pas bien ce qui expliquerait un tel tiraillement. Or, ce tiraillement interprétatif est bien présent dans les querelles portant sur la simulabilité du vivant ou de l’esprit, par exemple. En revenant sur la différence de nature entre émulation et simulation, en montrant que bien souvent, dans ces débats, on confond effectivement émulation et simulation alors même qu’elles sont parfois toutes deux à l’œuvre dans une même simulation informatique entendue cette fois-ci au sens large, cet exposé proposera de clarifier les raisons de la persistance de telles querelles et ainsi de contribuer à une meilleure compréhension de ce qui fait la puissance ambiguë de l’informatique.

Séminaire Histoire et Philosophie de l'informatique 2016

ANNÉE 2016 : FLEXIONS SUR LES PROCESSUS DE CALCUL, DINFORMATION ET DE PROGRAMMATION : HISTOIRE ET PHILOSOPHIE

Pour l’année 2016 le séminaire Histoire et Philosophie de l’Informatique prend la forme d’un séminaire entre différents laboratoires de recherche. Il sera centré autour de deux axes de recherche, chacun donnant lieu à une série de séances spécifiques.
La première série, intitulée "Interactions entre logique, calcul et linguistique", a pour but l'analyse de l'informatique comme point de connexion entre différentes disciplines traditionnelles, comme la logique, les mathématiques et la linguistique. Ses organisateurs sont Alberto Naibo (IHPST), Liesbeth de  Mol (STL), Shahid Rahman (STL) et Mark van Atten (SND).
La seconde série, intitulée « Histoire et pratiques de l’informatique », se concentre en revanche sur l'étude de l'informatique comme discipline à part entière, essayant notamment d'identifier son domaine d'étude propre par  l'analyse de ses pratiques. Ces organisateurs sont Maël Pégny (IHPST) et Pierre-Éric Mounier-Kuhn (MSH).

Responsable (s): 
Responsable (s) externes: 
MOUNIER-KUHN Pierre-Éric
de MOL Liesbeth
RAHAMAN Shahid
van ATTEN Mark

Séminaire Histoire et Philosophie de l'Informatique, série "Histoire et pratiques de l'informatique"

Cette série du séminaire se concentre sur l'étude de l'informatique comme discipline à part entière, essayant notamment d'identifier ce qui fait la spécificité de son domaine d'étude, de ses méthodes, de ses finalités, de ses concepts et de ses critères par l'analyse de ses pratiques.

Nous nous attacherons à varier les points de vue en réunissant notamment des informaticiens, des historiens, des spécialistes des sciences sociales et des philosophes.

Responsable (s): 
Responsable (s) externes: 
MOUNIER-KUHN Pierre-Éric

Séminaire HPI série "Histoire et pratiques de l'informatique" : Gérard Chazal

Undefined
Thursday 9 June 2016 - 14:00 to 16:00
IHPST - Salle de conférence

Intervention de Gérard Chazal (Université de Bourgogne),  "Les miroirs informatiques de l'humain : De la cybernétique aux sciences cognitives". 

Résumé :
Depuis longtemps, l'homme a tenté de construire des machines à son image puis de se comprendre à travers ces machines. Mais ce double mouvement de reflet a pris une ampleur considérable avec l?informatique depuis le milieu du XXe siècle.
On verra d'abord comment les idées à la fois techniques, scientifiques, philosophiques qui président à la naissance de l'informatique, se mettent en place depuis le XVIIe siècle.
Pendant et tout de suite après la seconde guerre mondiale, ce sont en fait deux types de techniques qui apparaissent et entretiennent dès le départ des liens multiples avec d'autres disciplines (mathématiques, physique, neurosciences, psychologie, anthropologie, philosophie mais aussi les arts). Ces échanges interdisciplinaires (vantés dès 1948 par Wiener) donneront naissance aux sciences cognitives.
Nous examinerons successivement ces deux types de techniques, leurs succès, leurs limites, leurs critiques puis, en conclusion, nous verrons comment elles convergent vers des techniques nouvelles en même temps qu'elles supportent ce qu'il est convenu d'appeler aujourd'hui la Révolution Numérique. 

Séminaire HPI, série "Histoire et pratiques de l'informatique" : James Ladyman

Undefined
Thursday 26 May 2016 - 16:00 to 17:30
IHPST - Salle de conférence

James Ladyman (Université de Bristol) interviendra sur "Landauer's Principle, the nature of computation and the physics of information" ("Le principe de Landauer, la nature du calcul et la physique de l'information").

Abstract:  I review the debate about Landauer's Principle in non-technical terms and how it relates to the debate about what computation is and what information, and how each relates to physics.
Résumé : Je présenterai, en termes non-techniques, une vision d'ensemble du débat sur le principe de Landauer, ses liens avec la nature du calcul et celle de l'information, ainsi que leurs relations à la physique.  

Séminaire HPI, série "Histoire et pratiques de l'informatique" : Martin Schüle

Undefined
Thursday 14 April 2016 - 16:00 to 17:30
IHPST - Salle de conférence

Intervention de Martin Schüle  (ZHAW, Zurich University of Applied Sicences). Le titre est : "On the Nature of Computation".

Résumé : 
Computational notions abound in the sciences. Especially in the fields of biology and neuroscience computational capacities are often ascribed to entities and processes. Yet it is not clear what kind of "computation" is at work there. Can it be still treated within traditional computational theory or is some other more general or vague notion of computation needed ? I discuss and assess diverse models of computation as developed in various fields and the main proposals in the philosophical literature in regard to concepts of "computation". A case study on cellular automata, a particular computational model, will then reveal, I argue, the conditions a biological or other system should meet in order to agree with a notion of computation both definable in clear terms and amenable to further scientific research.

Séminaire Histoire et Philosophie de l'informatique, série "Interactions entre logique, calcul et linguistique"

Cette série du séminaire se concentre sur l’étude de l’informatique comme point de connexion entre différentes disciplines traditionnelles, comme la logique, les mathématiques et la linguistique. 

Nous essayerons de comprendre, en particulier, comme les recherches en informatique théorie des ces quarante dernières années ont contribuées à l’évolution et la redéfinition de ces disciplines.

http://calcul.hypotheses.org/

Responsable (s): 
Responsable (s) externes: 
van ATTEN Mark
de MOL Liesbeth
RAHAMAN Shahid

Séminaire HPI, série "Interactions entre logique, calcul et linguistique"

Undefined
Wednesday 27 January 2016 - 14:00 to 17:30
IHPST - Salle de conférence

David Nofre, (Universitat Autònoma de Barcelona), "Hidden structures: The early career of Saul Gorn and the making of computer science, 1950 – 1965"

In the early 1960s computer science established itself as a proper field of knowledge, largely concerned with the study of abstract structures of computation rather than with the study of computing machinery. Such preference for abstraction has since then aroused many debates on the nature and purpose of the field, and they continue to play a significant role. Yet what accounts for this historical predisposition toward abstraction? In my talk I will try to make some progress on this question. In particular, I will try to show how the making of computer science involved much more than the simple application of mathematics and logic to the study of computation. To do so, I will focus on the early career of mathematician and computer pioneer Saul Gorn. In the mid-1950s, Gorn was part of a small group of computing specialists in the United States that started exploring ways to formalize computer programming by abstracting away from the actual computer. They did so in part as response to the ascendancy of industry in computing and the resulting increase in the variety of computer models. Yet, such conceptual move was also underpinned by the epistemological and ontological assumption that computers, brains (or minds), programming notations, natural languages, and the formal languages of logic, are all systems fundamentally defined by their common abstract structures. In the last part of my talk I will reflect on the extent to which the raise of computer science thus entailed particular assumptions about the structure of the natural world.

Alain Lecomte (Université de Paris 8), L’interaction à la base du sens, ludique et langage naturel

Dans cette intervention, nous montrerons comment la ludique de Jean-Yves Girard (voire, plus généralement tout formalisme exprimant la « géométrie de l’interaction ») fournit des outils précieux pour penser l’interaction dans la langue et l’usage de la langue. Nous partirons de quelques remarques ayant trait au langage, comme sa grande labilité et le fait que la communication langagière est presque toujours une affaire de coordination entre deux participants qui s’entendent sur les significations, nous référant en particulier à des auteurs comme David Lewis et Robert Brandom. Nous présenterons également la modélisation du dialogue opérée par J. Ginzburg en montrant en quoi le fait de la recadrer dans le formalisme de la ludique permet de rendre compte d’une manière plus naturelle les phénomènes d’attente et de résolution qui se produisent dans le dialogue. 

Séminaire Histoire et Philosophie de l'informatique 2017

Pour l’année 2017 le séminaire se tiendra sur un rythme mensuel avec une séance à Paris et une séance à Lille. 

 

Calendrier IHPST 

 

 

Calendrier STL

Responsable (s): 

Séminaire Histoire et Philosophie de l'Informatique 1

Undefined
Thursday 19 January 2017 - 14:00 to 17:30
IHPST - Salle de conférence

Karine Chemla et Serge Grigorieff interviendront. 

Karine Chemla (SPHERE, Univ. Paris 7), "Des dimensions théoriques de la pratique des opérations arithmétiques"

Serge Grigorieff (IRIF, Univ. Paris 7), "Genèse de la calculabilité" 
 

Séminaire Histoire et Philosophie de l'Informatique 2

Undefined
Thursday 23 February 2017 - 14:00 to 17:30
IHPST - Salle de conférence

Nicola Angius et Tomas Petricek interviendront. 

Séminaire Histoire et Philosophie de l'informatique 2019

Voir le programme sur le site du séminaire ici

Responsable (s): 
Responsable (s) externes: 
Liesbeth de Mol (Lille 3)

Séminaire Histoire et Philosophie de l'Informatique - 9 janvier 2019

Undefined
Wednesday 9 January 2019 - 13:30 to 17:30
Liesbeth de Mol (Lille 3)
IHPST - Salle de conférence

Séance autour du thème "Fonctions, machines, algorithmes".

Orateurs: Wendy Hammache (Univ. Lyon 3), Pierre Valarcher (UPEC), Hector Zenil (Oxford).