B. and J. Copeland, Turing: Pioneer of the Information Age, 2012.

M. S. Mahoney, The histories of computing(s), Interdisciplinary Science Reviews, vol.30, issue.2, 2011.
DOI : 10.1179/030801805X25927

M. Priestley, A Science of Operations: Machines, Logic and the Invention of Programming, 2011.
DOI : 10.1007/978-1-84882-555-0

P. E. References and . Ceruzzi, Electronic Calculators, 1990.

G. R. Stibitz, Digital Computation For A. A. Directors, 23, p.p, 1942.

R. Giovanni, A. Cignoni, and F. Gadducci, Rediscovering the Very First Italian Digital Computer, Proceedings of 3rd IEEE History of Electro-technology Conference (HISTELCON), IEEE, 2012.

E. Fabri, . Appunti-delle-lezioni-di-introduzione-alla-programmazione-di-una-calcolatrice-elettronica-(-raccolte-e-redatte-da-luigina-bosman, and . Fabri, Available http://hmr.di.unipi.it/DocCEP/ 1958\_NI1-35-Appunti.pdf Corrado Böhm, 1958.

E. Vita, J. Conway, and R. Guy, Italy The notion of object is a basic and fundamental concept in philosophy of language, formal semantics, cognitive psychology, ontology: objects are the References Berlekamp, Winning Ways for Your Mathematical Plays, vol.2, 1982.

D. Dennett, Real Patterns, The Journal of Philosophy, vol.88, issue.1, pp.27-51, 1991.
DOI : 10.2307/2027085

E. B. Goldstein, Sensation and Perception, 2010.

A. Ilachinski, Cellular Automata, Singapore: World Scientic Publishin References BackusThe history of FORTRAN I, II, and III', SIGPLAN Not, J, issue.8, pp.13-165180, 1978.

C. Böhm and G. Jacopini, Flow diagrams, turing machines and languages with only two formation rules, Communications of the ACM, vol.9, issue.5, p.366371, 1966.
DOI : 10.1145/355592.365646

J. Brooks and F. P. , The mythical man-month, 1995.
DOI : 10.1145/390016.808439

P. Ceruzzi, A history of modern computing, History of computing, 2003.

E. W. Dijkstra, Letters to the editor: go to statement considered harmful, Communications of the ACM, vol.11, issue.3, p.147148, 1968.
DOI : 10.1145/362929.362947

E. W. Dijkstra, What led to notes on structured programming. circulated privately URL: http://www.cs.utexasThe method of levels of abstraction', Minds Mach, p.303329, 2001.
DOI : 10.1007/978-3-642-59412-0_19

R. Berners-lee and T. , What the Semantic Web can represent, RDFnot.html Dummett, Michael. Realism. Synthese, vol.521, pp.55-112, 1982.

J. Mccarthy and P. Hayes, Some philosophical problems from the standpoint of Articial Intelligence, Machine Intelli-gence, p.463502, 1969.

P. Wadler, Proofs are programs: 19th century logic and 21st century computing. Dr Dobb's Journal, p.313, 2000.

P. Wadler, The Girard-Reynolds Isomorphism, International Symposium of Theoretical Aspects of Computer Software, 2001.
DOI : 10.1007/3-540-45500-0_24

URL : http://dx.doi.org/10.1016/s0890-5401(03)00141-x

T. Winograd, Procedures as a Representation for Data in a Computer Program for Understanding Natural Language, Cognitive Psychology, vol.3, issue.1, 1972.

D. John, R. B. Bolcer, and . Hermann, France Taking computational chemistry as an example, the aim of the present study ReferencesThe Development of Computational Chemistry in the United States, Reviews in Computational Chemistry, p.163, 1994.

E. Francoeur, Cyrus Levinthal, the Kluge and the origins of interactive molecular graphics, Endeavour, vol.26, issue.4, pp.26-127131, 2002.
DOI : 10.1016/S0160-9327(02)01468-0

D. B. Boyd, How Computational Chemistry Became Important in the Pharmaceutical Industry', in Reviews in Computational Chemistry, XXIII, p.401451, 2007.

J. K. Labanowski, Free Speech, Quality Control, and Flame Wars', Academe, 2007.

D. A. Grier and M. Campbell, A Social History of Bitnet and Listserv, IEEE Annals of the History of Computing, pp.22-3241, 1985.

G. Coleman, . Phreakers, and T. Hackers, The Politics of Transgression and Spectacle.', in The social media reader, p.99119, 2012.

A. Nordmann, Science Transformed? Debating Claims of an Epochal Break, 2011.

A. Johnson and J. Lenhard, Toward a New Culture of Prediction: Computational Modeling in the Era of Desktop Computing.', in Science Transformed?: Debating Claims of an Epochal Break, p.189200, 2011.

N. Pollock and R. Williams, Software and Organisations: The Biography of the Enterprise-Wide System or How SAP Conquered the World, 2008.

N. Pollock, R. Williams, and L. D. Adderio, Global Software and its Provenance, Social Studies of Science, vol.29, issue.3, p.254280, 2007.
DOI : 10.1177/0306312706066022

R. Farge and M. , L'approche numérique en physique, Philosophia Scientiae, vol.7, issue.2, p.155175, 1986.

R. Anceschi, G. G. Maldonado, and T. , Maldonado semiotico della conoscenza. E|C Serie Speciale , III -3 Sign System Design for Operative Communication, pp.207-214, 1961.

G. A. Cignoni and F. Gadducci, Rediscovering the very first Italian digital computer, 2012 Third IEEE HISTory of ELectro-technology CONference (HISTELCON), 2012.
DOI : 10.1109/HISTELCON.2012.6487563

F. Filippazzi, Quel computer nato tra i cavalli, La nascita dell'informatica in Italia, 2006.

M. Krampen, Signs and Symbols in Graphic Communication, Design Quarterly, vol.62, issue.62, pp.1-31, 1965.
DOI : 10.2307/4047303

E. Mori, Ettore Sottsass Jr. e il design dei primi computer Olivetti, 2013.

R. Riccini, Un'impresa aperta al mondo Conversazione con Tomás Maldonado Comunicare l'impresa. Cultura e strategie dell'immagine nell'industria italiana, pp.134-152, 1945.

L. Soria, Informatica: un'occasione perduta. La divisione elettronica dell'Olivetti nei primi anni del centrosinistra, 1979.

E. Sottsass, Forme nuove per i calcolatori elettronici, Notizie Olivetti, vol.68, pp.27-29, 1960.

J. C. Licklider, Memorandum for members of the aliated of the Intergalactic Computer Network, 1963.

V. Mayer-schonberger and K. Cukier, Big Data: A Revolution That Will Transform How We Live, Work, and Think, 2013.

A. Rosenblueth, N. Wiener, and J. Bigelow, Behavior, Purpose and Teleology, Philosophy of Science, vol.10, issue.1, pp.18-24, 1943.
DOI : 10.1086/286788

N. Wiener, The human use of human beings, 1950.

P. References and . Flichy, The Internet Imaginaire Translated by Liz Carey- Libbrecht Reconnaissance et usages d'Internet. Une sociologie critique des pratiques de l'informatique connectée, 2007.

O. Voirol, Digitales Selbst: Anerkennung une Entfremdung, WestEnd : Neue Zeitschrift für Sozialforschung, pp.106-120, 2010.

P. Denning, Is computer science science?, Communications of the ACM, vol.48, issue.4, p.2731, 2005.

R. P. Duin and E. Pekalska, The Science of Pattern Recognition. Achievements and Perspectives, Studies in Computational Intelligence (SCI), vol.63, p.221259, 2007.
DOI : 10.1007/978-3-540-71984-7_10

M. Franssen and G. Lokhorst, van de Poel, I. Philosophy of technology

E. Zalta, Stanford encyclopedia of philosophy, Proceedings of the first ACM/IEEE-CS joint conference on Digital libraries , JCDL '01, 2010.
DOI : 10.1145/379437.379789

P. Langley, Machine learning as an experimental science, Machine Learning, vol.1, issue.1, p.58, 1988.
DOI : 10.1007/BF00115008

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

L. Laudan, Progress and its Problems, 1977.

T. Pavlidis, 36 years on the pattern recognition, Pattern Recognition Letters, vol.24, p.17, 2003.
DOI : 10.1016/s0167-8655(02)00211-8

J. Serra, Is pattern recognition a physical science?, Proceedings 15th International Conference on Pattern Recognition. ICPR-2000, 2000.
DOI : 10.1109/ICPR.2000.903479

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. N. Sanborn, T. L. Griths, and D. J. Navarro, Rational approximations to rational models: Alternative algorithms for category learning., Psychological Review, vol.117, issue.4, p.11441167, 2010.
DOI : 10.1037/a0020511

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Simon, The Sciences of the Articial, 1969.

A. References and . Church, On the concept of a random sequence, Bull. Amer. Math

A. Church, Letter to Hilda Geiringer von Mises, 11 june 1966, Folder, vol.22, issue.21, 1966.

A. Church, Letter to Hilda Geiringer von Mises, 16 mar, Folder, vol.22, issue.21, 1966.

M. Fréchet, Exposé et discussion de quelques recherches récentes sur les fondéments du calcul des probabilités, Colloque consacré au calcul des probabilités, pp.22-55, 1938.

H. Geiringer, Letter to Alonzo Church, 13 apr Alonzo Church Papers, Folder, vol.22, issue.21, 1966.

E. Kamke, Einführung in die Wahrscheinlichkeitstheorie, 1932.

M. Richard-von, Grundlagen der Wahrscheinlichkeitsrechnung, Math. Z, vol.5, issue.12, p.5299, 1919.

J. References and . Berstel, Axel Thue's papers on repetitions in words: a translation, Publications du LaCIM, 1995.

B. Buchberger, History and basic features of the critical-pair/completion procedure, Journal of Symbolic Computation, vol.3, issue.1-2, pp.3-38, 1987.
DOI : 10.1016/S0747-7171(87)80020-2

G. A. Hedlund, Remarks on the work of Axel Thue on sequences, Nordisk Matematisk Tidskrift, vol.15, p.148150, 1967.

E. L. Post, Recursive Unsolvability of a problem of Thue, The Journal of Symbolic Logic, vol.1, issue.01, p.111, 1947.
DOI : 10.1090/S0002-9904-1944-08111-1

M. Steinby and W. Thomas, Trees and term rewriting in 1910: On a paper by Axel Thue, EATCS Bull, vol.72, p.256269, 2000.

A. Thue and N. , Probleme uber Veränderungen von Zeichenreihen nach gegebenen Regeln Christiana Videnskabs-Selskabs Skrifter, I. Math.-naturv. Klasse My (anonymised) translation of [Thu14] is available at: http:// tinyurl Conditionals, 1914.

G. Winskel, Event Structure Semantics for CCS and Related Languages, DAIMI Report Series, vol.12, issue.159, 1982.
DOI : 10.7146/dpb.v12i159.6812

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Abbate, Inventing the internet, 1999.

P. Agre, P2P and the promise of internet equality, Communications of the ACM, vol.46, issue.2, pp.39-42, 2003.
DOI : 10.1145/606272.606298

S. Braman, Technical Design of the Internet and the Law : The First Decade, 2010.

N. Ensmenger, Power to the People: Toward a Social History of Computing, IEEE Annals of the History of Computing, vol.26, issue.1, pp.94-96, 2004.
DOI : 10.1109/MAHC.2004.1278876

N. Ensmenger, The Digital Construction of Technology: Rethinking the History of Computers in Society, Technology and Culture, vol.53, issue.4, 2012.
DOI : 10.1353/tech.2012.0126

P. Flichy, Internet ou la communauté scientique idéale, Réseaux, n° 97, pp.77-120, 1999.

P. Flichy, L'imaginaire d'internet, 2001.
URL : https://hal.archives-ouvertes.fr/halshs-00438994

R. Hauben and M. Et, Netizens: On the History and Impact of Usenet and the Internet, First Monday, vol.3, issue.7, 1997.
DOI : 10.5210/fm.v3i7.605

M. Mahoney, The History of Computing in the History of Technology, IEEE Annals of the History of Computing, vol.10, issue.2, pp.113-125, 1998.
DOI : 10.1109/MAHC.1988.10011

T. J. Misa, Understanding how Computing has changed the World, 2007.
DOI : 10.1109/mahc.2007.4407445

A. Moatti, Le num??rique, adjectif substantiv??, Le D??bat, vol.170, issue.3, pp.133-137, 2012.
DOI : 10.3917/deba.170.0133

G. Ne and D. Stark, Permanently Beta: Responsive Organization in the Internet Era Society Online: The Internet in Context, pp.173-188, 2003.

C. Paloque-berges, Entre trivialité et culture : une histoire de l'Internet vernaculaire. Emergence et médiations d'un folklore de réseau, Thesis in Information and Communication Sciences, 2010.

J. Quaterman, The Matrix: Computer Networks and Conferencing Systems Worldwide, 1989.

V. Schafer and B. Thierry, Le Minitel, l'enfance numérique de la France, 2012.

A. Serres, Aux sources d'Internet : l'émergence d'Arpanet, Presses Universitaires du Septentrion, 2003.

H. Rheingold, Les communautés virtuelles, 1996.

R. Church and A. , An Unsolvable Problem of Elementary Number Theory, American Journal of Mathematics, vol.58, issue.2, p.345363, 1936.
DOI : 10.2307/2371045

K. Gödel, In Kurt Gödel's Collected Works, Undecidable Diophantine Propositions], p.164174

L. Kalmár, The Development of Mathematical Rigor from Intuition to Axiomatic Method. Translated by Zvolenszky Zsóa The Vienna Circle in Hungary, 1942.

L. Kalmár, A matematika alapjaival kapcsolatos újabb eredmények (New Results Concerning the Foundations of Mathematics), A Magyar Tudományos Akadémia Matematikaiés Fizikai Osztályának Közleményei, p.89112, 1952.

L. Kalmár, Az ún. megoldhatatlan matematikai problém ákra vonatkozó kutatások alapj ául szolg áló Church-féle hipotézisrol (About Church's Thesis and Unsolvable Mathematical Problems), A Magyar Tudományos Akadémia Matematikaiés Fizikai Osztályának Közleményei, 1938.

L. Kalmár, An Argument Against the Plausibility of Church's Thesis, Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, p.7280, 1959.

L. Kalmár, Foundations of Mathematics Whither Now? In Lakatos Imre (ed) Problems in the Philosophy of Mathematics, 1967.

. Universit-À-di-pisa-dipartimento-di-filologia, Italy The role of J. C. R. Licklider as a pioneer in the creation of modern computing is well understood, How- References Bardini, Thierry. 2000. Bootstrapping. Douglas Engelbart, coevolution, and the origins of personal computing, 1999.

. Hiltzik, Dealers of lightning. Xerox PARC and the dawn of the computer age, 1999.

J. C. Licklider, Man-Computer Symbiosis, IRE Transactions on Human Factors in Electronics, vol.1, issue.1, pp.411-412, 1960.
DOI : 10.1109/THFE2.1960.4503259

J. C. Licklider, The computer as a communication device, 1990.

J. C. Licklider and R. Taylor, The Computer as a Communication Device, Science and Technology, pp.21-41, 1968.

. Università-degli-studi-di-torino, Italy A programming language is "an articial formalism in which algorithms can be expressed. For all its articiality, though, this formalism remains a language Considering this property

H. Zemanek, Semiotics and programming languages, Communications of the ACM, vol.9, issue.3, 1966.
DOI : 10.1145/365230.365249

N. Block, The computer model of the mind, Thinking: An Invitation to Cognitive Science, pp.247-289, 1990.

S. Davies, Denitions of Art, 1991.

R. E. Kuenzli and . Naumann, Marcel Duchamp: Artist of the Century, 1989.

M. Lopes and D. , A Philosophy of Computer Art, 2010.

J. R. Searle, Minds, brains, and programs, Behavioral and Brain Sciences, vol.9, issue.03, pp.417-457, 1980.
DOI : 10.1080/00201747908601876

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Snibbe, Boundary Functions. http://www.snibbe.com/projects Computing as a science: A survey of competing viewpoints , Minds & Ma-chines, p.361387, 1998.