Full Text Documents

Search


Table of Contents
History and Philosophy of Computing
Fabio Gadducci, Mirko Tavosanis
Front Matter

Invited Talks


Wherefore art thou ... Semantics of Computation?
Furio Honsell
3-23
Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence
Pierre Mounier-Kuhn
24-41
Interactive Spatial Sound Intervention: A Case Study
Elisabetta Senesi
42-53

Regular Submissions


Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
57-70
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei
Nadia Ambrosetti
71-86
From Close to Distant and Back: How to Read with the Help of Machines
Rudi Bonfiglioli, Federico Nanni
87-100
Computing, Design, Art: Reflections on an Innovative Moment in History
Stephen Boyd Davis, Simone Gristwood
101-115
From Cells as Computation to Cells as Apps
Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano
116-130
«Omnia Numerorum Videntur Ratione Formata». A ‘Computable World’ Theory in Early Medieval Philosophy
Luigi Catalani
131-140
From urelements to Computation
Vincenzo Ciancia
141-155
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’
Giorgio Michelis
156-167
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability
Juan Gastaldi
168-185
Trente ans ou la Vie d′un scientifique
Vladimir Kitov, Valery Shilov, Sergey Silantiev
186-202
From Information to Perception
Nicola Liberati
203-215
Several Types of Types in Programming Languages
Simone Martini
216-227
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users
Ignasi Meda-Calvet
228-242
Impact of Informatics on Mathematics and Its Teaching
Simon Modeste
243-255
Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering
Julian Newman
256-272
The Brain in Silicon: History, and Skepticism
Alessio Plebe, Giorgio Grasso
273-286
The Role of Computers in Visual Art
Mario Verdicchio
287-299
In Search of the Roots of Formal Computation
Jan Plato
300-320

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/