Première séance 27 Janvier 14h – 17h

Nous avons le plaisir de vous annoncer la première séance de l’axe 1 “Interactions entre logique, calcul et linguistique” du séminaire “Réflexions sur les processus de calcul, d’information et de programmation”, mercredi 27 Janvier à 14h, IHPST, 13 rue du Four (2ème étage), Université Paris 1 Panthéon-Sorbonne, ENS, avec la participation de David Nofre et Alain Lecomte.

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.

David Nofre is an independent researcher associated with the Centre d’Estudis d’Història de la Ciència, Universitat Autònoma de Barcelona. He has a PhD in the history of science from Universitat Autònoma de Barcelona and a MSc in Physics from Universitat de Barcelona. In the years between 2008 and 2011 he was a postdoctoral research fellow at the Informatics Institute of the University of Amsterdam. He specializes in the history of computing, with special emphasis on the history of computer science, software, programming languages, and European cooperation in computer technologies.

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.


OpenEdition vous propose de citer ce billet de la manière suivante :
Liesbeth De Mol (20 janvier 2016). Première séance 27 Janvier 14h – 17h. Histoire et Philosophie de l'informatique. Consulté le 20 juillet 2024 à l’adresse https://doi.org/10.58079/m6mc