Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

Abstract : How did the theory and practice of computing interact to generate a new discipline, computer science? Studying the French scene, in comparison with other countries, reveals that in most cases computing developed initially as an ancillary technique of applied mathematics, with little awareness of the path-breaking theories of computability elaborated in the 1930s. This was particularly clear in France, where mathematical logic was almost inexistent and disregarded by the Bourbaki group.It was only in the early 1960s that researchers in the emerging field of computing felt the need for theoretical models, and discovered the Turing machine and recursive functions. Simultaneously, an interest for language theories and information structures, fostered by practical projects such as machine translation, converged with issues raised by software development and the nascent theory of automata.The convergence of these diverse intellectual agenda was central in the process of construction of the new discipline.
Type de document :
Communication dans un congrès
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.24-41, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_2〉
Liste complète des métadonnées

Littérature citée [52 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01615297
Contributeur : Hal Ifip <>
Soumis le : jeudi 12 octobre 2017 - 11:21:51
Dernière modification le : jeudi 11 janvier 2018 - 06:19:18

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Pierre Mounier-Kuhn. Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.24-41, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_2〉. 〈hal-01615297〉

Partager

Métriques

Consultations de la notice

27