10 Computer Science: The Search for a Mathematical Theory

Kapitel in diesem Buch

1. Frontmatter i
2. Contents v
3. List of Figures vii
4. Unexpected Connections, Powerful Precedents, and Big Questions: The Work of Michael Sean Mahoney on the History of Computing 1
5. PART ONE Shaping the History of Computing
6. 1 The History of Computing in the History of Technology 21
7. 2 What Makes History? 38
8. 3 Issues in the History of Computing 42
9. 4 The Histories of Computing(s) 55
10. PART TWO Constructing a History for Software
11. 5 Software: The Self- Programming Machine 77
12. 6 Extracts from The Roots of Software Engineering 86
13. 7 Finding a History for Software Engineering 90
14. 8 Boys’ Toys and Women’s Work: Feminism Engages Software 106
15. PART THREE The Structures of Computation
16. 9 Computing and Mathematics at Prince ton in the 1950s 121
17. 10 Computer Science: The Search for a Mathematical Theory 128
18. 11 Extracts from Computers and Mathematics: The Search for a Discipline of Computer Science 147
19. 12 The Structures of Computation and the Mathematical Structure of Nature 158
20. 13 Extracts from Software as Science— Science as Software 183
21. Éloge: Michael Sean Mahoney, 1939– 2008 197
22. Notes 205
23. Acknowledgments 241
24. Index 243