دانلود کتاب History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers

فهرست مطالب :

Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence....Pages 3-23
Interactive Spatial Sound Intervention: A Case Study....Pages 24-41
Front Matter....Pages 42-53
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis....Pages 55-55
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei....Pages 57-70
From Close to Distant and Back: How to Read with the Help of Machines....Pages 71-86
Computing, Design, Art: Reflections on an Innovative Moment in History....Pages 87-100
From Cells as Computation to Cells as Apps....Pages 101-115
«Omnia Numerorum Videntur Ratione Formata». A ‘Computable World’ Theory in Early Medieval Philosophy....Pages 116-130
From urelements to Computation....Pages 131-140
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’....Pages 141-155
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability....Pages 156-167
Trente ans ou la Vie d′un scientifique....Pages 168-185
From Information to Perception....Pages 186-202
Several Types of Types in Programming Languages....Pages 203-215
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users....Pages 216-227
Impact of Informatics on Mathematics and Its Teaching....Pages 228-242
Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering....Pages 243-255
The Brain in Silicon: History, and Skepticism....Pages 256-272
The Role of Computers in Visual Art....Pages 273-286
Front Matter....Pages 287-299
In Search of the Roots of Formal Computation....Pages 55-55
Back Matter....Pages 300-320
....Pages 321-321