Description |
1 online resource (xviii, 321 pages) : illustrations |
Series |
IFIP advances in information and communication technology, 1868-4238 ; 487 |
|
IFIP advances in information and communication technology ; 487. 1868-4238
|
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 |
Summary |
This volume constitutes the refereed post-conference proceedings of the Third International Conference on the History and Philosophy of Computing, held in Pisa, Italy in October 2015. The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed October 13, 2016) |
Subject |
Computer science -- History -- Congresses
|
|
Computer science -- Philosophy -- Congresses
|
|
Computer science.
|
|
Artificial intelligence.
|
|
Software Engineering.
|
|
Computer hardware.
|
|
Computing & information technology.
|
|
Computers -- Computer Science.
|
|
Computers -- Intelligence (AI) & Semantics.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Hardware -- General.
|
|
Computers -- History.
|
|
Computer science
|
|
Computer science -- Philosophy
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
History
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Gadducci, Fabio, editor
|
|
Tavosanis, Mirko, editor.
|
ISBN |
9783319472867 |
|
3319472860 |
|
3319472852 |
|
9783319472850 |
|