Description
My work in the history of computing centres around three main topics: the reevaluation of ENIAC as a meeting point and point of divergence between different scientists; the history of the Church-Turing thesis (with special attention to Emil Post); and the influence of the computer on mathematics
