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
• 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; 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
• 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.