Turing: Pioneer of the Information Age, 2012. ,
The histories of computing(s), Interdisciplinary Science Reviews, vol.30, issue.2, 2011. ,
DOI : 10.1179/030801805X25927
A Science of Operations: Machines, Logic and the Invention of Programming, 2011. ,
DOI : 10.1007/978-1-84882-555-0
Electronic Calculators, 1990. ,
Digital Computation For A. A. Directors, 23, p.p, 1942. ,
Rediscovering the Very First Italian Digital Computer, Proceedings of 3rd IEEE History of Electro-technology Conference (HISTELCON), IEEE, 2012. ,
Available http://hmr.di.unipi.it/DocCEP/ 1958\_NI1-35-Appunti.pdf Corrado Böhm, 1958. ,
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. ,
Real Patterns, The Journal of Philosophy, vol.88, issue.1, pp.27-51, 1991. ,
DOI : 10.2307/2027085
Sensation and Perception, 2010. ,
Cellular Automata, Singapore: World Scientic Publishin References BackusThe history of FORTRAN I, II, and III', SIGPLAN Not, J, issue.8, pp.13-165180, 1978. ,
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
The mythical man-month, 1995. ,
DOI : 10.1145/390016.808439
A history of modern computing, History of computing, 2003. ,
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
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
What the Semantic Web can represent, RDFnot.html Dummett, Michael. Realism. Synthese, vol.521, pp.55-112, 1982. ,
Some philosophical problems from the standpoint of Articial Intelligence, Machine Intelli-gence, p.463502, 1969. ,
Proofs are programs: 19th century logic and 21st century computing. Dr Dobb's Journal, p.313, 2000. ,
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
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language, Cognitive Psychology, vol.3, issue.1, 1972. ,
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. ,
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
How Computational Chemistry Became Important in the Pharmaceutical Industry', in Reviews in Computational Chemistry, XXIII, p.401451, 2007. ,
Free Speech, Quality Control, and Flame Wars', Academe, 2007. ,
A Social History of Bitnet and Listserv, IEEE Annals of the History of Computing, pp.22-3241, 1985. ,
The Politics of Transgression and Spectacle.', in The social media reader, p.99119, 2012. ,
Science Transformed? Debating Claims of an Epochal Break, 2011. ,
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. ,
Software and Organisations: The Biography of the Enterprise-Wide System or How SAP Conquered the World, 2008. ,
Global Software and its Provenance, Social Studies of Science, vol.29, issue.3, p.254280, 2007. ,
DOI : 10.1177/0306312706066022
L'approche numérique en physique, Philosophia Scientiae, vol.7, issue.2, p.155175, 1986. ,
Maldonado semiotico della conoscenza. E|C Serie Speciale , III -3 Sign System Design for Operative Communication, pp.207-214, 1961. ,
Rediscovering the very first Italian digital computer, 2012 Third IEEE HISTory of ELectro-technology CONference (HISTELCON), 2012. ,
DOI : 10.1109/HISTELCON.2012.6487563
Quel computer nato tra i cavalli, La nascita dell'informatica in Italia, 2006. ,
Signs and Symbols in Graphic Communication, Design Quarterly, vol.62, issue.62, pp.1-31, 1965. ,
DOI : 10.2307/4047303
Ettore Sottsass Jr. e il design dei primi computer Olivetti, 2013. ,
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. ,
Informatica: un'occasione perduta. La divisione elettronica dell'Olivetti nei primi anni del centrosinistra, 1979. ,
Forme nuove per i calcolatori elettronici, Notizie Olivetti, vol.68, pp.27-29, 1960. ,
Memorandum for members of the aliated of the Intergalactic Computer Network, 1963. ,
Big Data: A Revolution That Will Transform How We Live, Work, and Think, 2013. ,
Behavior, Purpose and Teleology, Philosophy of Science, vol.10, issue.1, pp.18-24, 1943. ,
DOI : 10.1086/286788
The human use of human beings, 1950. ,
The Internet Imaginaire Translated by Liz Carey- Libbrecht Reconnaissance et usages d'Internet. Une sociologie critique des pratiques de l'informatique connectée, 2007. ,
Digitales Selbst: Anerkennung une Entfremdung, WestEnd : Neue Zeitschrift für Sozialforschung, pp.106-120, 2010. ,
Is computer science science?, Communications of the ACM, vol.48, issue.4, p.2731, 2005. ,
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
van de Poel, I. Philosophy of technology ,
Stanford encyclopedia of philosophy, Proceedings of the first ACM/IEEE-CS joint conference on Digital libraries , JCDL '01, 2010. ,
DOI : 10.1145/379437.379789
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=10.1.1.73.931
Progress and its Problems, 1977. ,
36 years on the pattern recognition, Pattern Recognition Letters, vol.24, p.17, 2003. ,
DOI : 10.1016/s0167-8655(02)00211-8
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=10.1.1.98.3600
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=10.1.1.167.5165
The Sciences of the Articial, 1969. ,
On the concept of a random sequence, Bull. Amer. Math ,
Letter to Hilda Geiringer von Mises, 11 june 1966, Folder, vol.22, issue.21, 1966. ,
Letter to Hilda Geiringer von Mises, 16 mar, Folder, vol.22, issue.21, 1966. ,
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. ,
Letter to Alonzo Church, 13 apr Alonzo Church Papers, Folder, vol.22, issue.21, 1966. ,
Einführung in die Wahrscheinlichkeitstheorie, 1932. ,
Grundlagen der Wahrscheinlichkeitsrechnung, Math. Z, vol.5, issue.12, p.5299, 1919. ,
Axel Thue's papers on repetitions in words: a translation, Publications du LaCIM, 1995. ,
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
Remarks on the work of Axel Thue on sequences, Nordisk Matematisk Tidskrift, vol.15, p.148150, 1967. ,
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
Trees and term rewriting in 1910: On a paper by Axel Thue, EATCS Bull, vol.72, p.256269, 2000. ,
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. ,
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=10.1.1.110.4636
Inventing the internet, 1999. ,
P2P and the promise of internet equality, Communications of the ACM, vol.46, issue.2, pp.39-42, 2003. ,
DOI : 10.1145/606272.606298
Technical Design of the Internet and the Law : The First Decade, 2010. ,
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
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
Internet ou la communauté scientique idéale, Réseaux, n° 97, pp.77-120, 1999. ,
L'imaginaire d'internet, 2001. ,
URL : https://hal.archives-ouvertes.fr/halshs-00438994
Netizens: On the History and Impact of Usenet and the Internet, First Monday, vol.3, issue.7, 1997. ,
DOI : 10.5210/fm.v3i7.605
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
Understanding how Computing has changed the World, 2007. ,
DOI : 10.1109/mahc.2007.4407445
Le num??rique, adjectif substantiv??, Le D??bat, vol.170, issue.3, pp.133-137, 2012. ,
DOI : 10.3917/deba.170.0133
Permanently Beta: Responsive Organization in the Internet Era Society Online: The Internet in Context, pp.173-188, 2003. ,
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. ,
The Matrix: Computer Networks and Conferencing Systems Worldwide, 1989. ,
Le Minitel, l'enfance numérique de la France, 2012. ,
Aux sources d'Internet : l'émergence d'Arpanet, Presses Universitaires du Septentrion, 2003. ,
Les communautés virtuelles, 1996. ,
An Unsolvable Problem of Elementary Number Theory, American Journal of Mathematics, vol.58, issue.2, p.345363, 1936. ,
DOI : 10.2307/2371045
In Kurt Gödel's Collected Works, Undecidable Diophantine Propositions], p.164174 ,
The Development of Mathematical Rigor from Intuition to Axiomatic Method. Translated by Zvolenszky Zsóa The Vienna Circle in Hungary, 1942. ,
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. ,
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. ,
An Argument Against the Plausibility of Church's Thesis, Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, p.7280, 1959. ,
Foundations of Mathematics Whither Now? In Lakatos Imre (ed) Problems in the Philosophy of Mathematics, 1967. ,
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. ,
Dealers of lightning. Xerox PARC and the dawn of the computer age, 1999. ,
Man-Computer Symbiosis, IRE Transactions on Human Factors in Electronics, vol.1, issue.1, pp.411-412, 1960. ,
DOI : 10.1109/THFE2.1960.4503259
The computer as a communication device, 1990. ,
The Computer as a Communication Device, Science and Technology, pp.21-41, 1968. ,
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 ,
Semiotics and programming languages, Communications of the ACM, vol.9, issue.3, 1966. ,
DOI : 10.1145/365230.365249
The computer model of the mind, Thinking: An Invitation to Cognitive Science, pp.247-289, 1990. ,
Denitions of Art, 1991. ,
Marcel Duchamp: Artist of the Century, 1989. ,
A Philosophy of Computer Art, 2010. ,
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=10.1.1.83.5248
Boundary Functions. http://www.snibbe.com/projects Computing as a science: A survey of competing viewpoints , Minds & Ma-chines, p.361387, 1998. ,