At the time, these have been completely uncharted waters. Nobody else appeared to be devoting their consideration to such issues. There is an everlasting tension between the engineering view of computer science, which is focused on building software program methods and hardware components, and the mathematical and logical view, which aims to supply rigorous foundations…