Foreword ix
Acknowledgments xi
Introduction 1
I Ground-Truthing 27
1 Studying Computer Scientists 31
2 A First Case Study 51
II Programming 87
3 Von Neumann's Draft, Electronic Brains, and Cognition 93
4 A Second Case Study 135
III Formulating 197
5 Mathematics as a Science 203
6 A Third Case Study 237
Conclusion 283
Glosary 291
Notes 299
References 325
Index 365