History and philosophy of computing : third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers /: third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers. (2016)
- Record Type:
- Book
- Title:
- History and philosophy of computing : third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers /: third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers. (2016)
- Main Title:
- History and philosophy of computing : third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers
- Other Titles:
- HaPoC 2015
- Further Information:
- Note: Fabio Gadducci, Mirko Tavosanis (eds.).
- Editors:
- Gadducci, Fabio
Tavosanis, Mirko - Other Names:
- HaPoC (Conference), 3rd
- Contents:
- Intro; Preface; Organization; Abstracts of Invited Talks; Alan Turing and the Other Theory of Computation; Walter Shewhart and the Philosophical Foundations of Software Engineering; Wherefore Art Thou \ldots Semantics of Computation?; Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence; Interactive Spatial Sound Intervention: A Case Study; Contents; Invited Talks; Wherefore Art Thou #x83; Semantics of Computation?; 1 Introduction; 2 Some Intriguing, as Well as Distressing, Issues; 2.1 The Pythagorean Dream and the Original Sin 2.2 The Myth of Formal Reasoning2.3 Demystifying the Myth of Formal Reasoning; 3 Semantics as a ``Partita Doppia''; 3.1 Initial and Final Semantics; 3.2 Denotational Semantics; 4 Games and Strategies; 5 Conclusion; References; Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence; Abstract; 1 Introduction; 2 The Mid-1950s: A Revival of Mathematical Logic; 3 The 1960s: A Convergence with Computer Science; 4 Conclusion; References; Interactive Spatial Sound Intervention: A Case Study; Abstract; 1 Introduction; 2 Intervention Art Tasks 3 Sonic Space #05: A Case-Study3.1 Description of Audience Experience; 3.2 Motivation and Aesthetic Ideas; 3.3 Design Plan and Actual Achievement; 3.3.1 Physical Implementation; 3.3.2 Sonic Interaction Design; 3.3.3 Interactive Sonic Genesis; 4 Evaluation; 5 Conclusions and Future Works; 6 Media Documentation; Acknowledgments;Intro; Preface; Organization; Abstracts of Invited Talks; Alan Turing and the Other Theory of Computation; Walter Shewhart and the Philosophical Foundations of Software Engineering; Wherefore Art Thou \ldots Semantics of Computation?; Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence; Interactive Spatial Sound Intervention: A Case Study; Contents; Invited Talks; Wherefore Art Thou #x83; Semantics of Computation?; 1 Introduction; 2 Some Intriguing, as Well as Distressing, Issues; 2.1 The Pythagorean Dream and the Original Sin 2.2 The Myth of Formal Reasoning2.3 Demystifying the Myth of Formal Reasoning; 3 Semantics as a ``Partita Doppia''; 3.1 Initial and Final Semantics; 3.2 Denotational Semantics; 4 Games and Strategies; 5 Conclusion; References; Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence; Abstract; 1 Introduction; 2 The Mid-1950s: A Revival of Mathematical Logic; 3 The 1960s: A Convergence with Computer Science; 4 Conclusion; References; Interactive Spatial Sound Intervention: A Case Study; Abstract; 1 Introduction; 2 Intervention Art Tasks 3 Sonic Space #05: A Case-Study3.1 Description of Audience Experience; 3.2 Motivation and Aesthetic Ideas; 3.3 Design Plan and Actual Achievement; 3.3.1 Physical Implementation; 3.3.2 Sonic Interaction Design; 3.3.3 Interactive Sonic Genesis; 4 Evaluation; 5 Conclusions and Future Works; 6 Media Documentation; Acknowledgments; References; Regular Submissions; Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis; 1 Introduction; 2 Epistemic Arithmetic; 2.1 Knowing Entities and Machines; 3 Properties of Knowing Machines; 4 Conclusion; References Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa DeiAbstract; 1 What is an Algorismus?; 2 The Carmen de Algorismo; 2.1 The Title; 2.2 The Content; 2.3 Commentaries; 3 Calculation Techniques; 3.1 Addition, Subtraction, and Doubling; 3.2 Halving, Multiplication, and Division; 3.3 Square and Cubic Root Extraction; 3.4 Progression; 3.5 Mental Calculation; 4 The Spread of the Work Manuscripts; 5 The Source Question; 5.1 Al-Khwārizmī; 5.2 Contamination of Traditions; 5.3 A New Arithmetic, Far from Universities; 6 The Carmen Influence; 6.1 Sacrobosco 6.2 Vernacular Translations7 The Author; 7.1 Life and Works; 7.2 A Mathematician?; 8 Conclusion; References; From Close to Distant and Back: How to Read with the Help of Machines; 1 Introduction; 2 Text Mining Methods in Humanities Research; 3 From Close to Distant and Back; 4 Deep Reading; 5 A New Humanist; 5.1 A Generation of Humanists -- Machine Learning Experienced Users; 5.2 Complementarity Is the Key; 6 Conclusions; References; Computing, Design, Art: Reflections on an Innovative Moment in History; Abstract; 1 Introduction; 2 Bruce Archer; 2.1 Archer's 1968 Doctoral Thesis … (more)
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xviii, 321 pages), illustrations
- Subjects:
- 004.09
Computer science
Computer science -- History -- Congresses
Computer science -- Philosophy -- Congresses
Computer science
Computer science -- Philosophy
Computer Science
History of Computing
Theory of Computation
Artificial Intelligence (incl. Robotics)
Software Engineering/Programming and Operating Systems
Computer Hardware
Computers -- Computer Science
Computers -- Intelligence (AI) & Semantics
Computers -- Software Development & Engineering -- General
Computers -- Hardware -- General
Computer science
Artificial intelligence
Software Engineering
Computer hardware
Information theory
Artificial intelligence
Software engineering
Computer hardware
Computers -- History
Computing & information technology
Electronic books
Conference papers and proceedings
History - Languages:
- English
- ISBNs:
- 9783319472867
3319472860
3319472852
9783319472850 - Related ISBNs:
- 9783319472850
- Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed October 13, 2016). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356949
- Ingest File:
- 01_318.xml