skip to main content
Show Results with:

History and philosophy of computing : third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers / Fabio Gadducci, Mirko Tavosanis (eds.).

HaPoC (Conference) (3rd : 2015 : Pisa, Italy)

Cham, Switzerland : Springer, 2016.

Online access

 2 related resources
  • Title:
    History and philosophy of computing : third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers / Fabio Gadducci, Mirko Tavosanis (eds.).
  • Author: HaPoC (Conference) (3rd : 2015 : Pisa, Italy)
  • Contributor: Fabio Gadducci editor.;
    Mirko Tavosanis editor.
  • Other Titles: Variant Title: HaPoC 2015
  • Subjects: 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;
    Dewey: 004.09
  • Rights: Terms governing use: Copyright.
    Access restrictions: NON_PRINT_LEGAL_DEPOSIT
  • Publication Details: Cham, Switzerland : Springer, 2016.
  • Language: English
  • Description: 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
    Contents: 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
    Contents: 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
    Contents: 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
    Contents: 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
  • Identifier: ISBN 9783319472867 (electronic bk.); ISBN 3319472860 (electronic bk.); ISBN 3319472852; ISBN 9783319472850; ISBN (print)
    10.1007/978-3-319-47286-7 doi; BNB GBB8M2590; System number: 019136067
  • Notes: Bibliography note: Includes bibliographical references and author index.
  • Physical Description: 1 online resource (xviii, 321 pages) : illustrations.
  • Series: IFIP advances in information and communication technology, 487
  • Shelfmark(s): General Reference Collection DRT ELD.DS.356949
  • UIN: BLL01019136067

Searching Remote Databases, Please Wait