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 |
Hosted by HAL : 