Edgar G. Daylight

Edgar Daylights rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between their favorite mathematical concepts and the representa...

Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building such machines during World War II. Turing's influenc...

"What an absolutely cool guy!" --- Dennis Shasha, NYU "Fascinating... very worthwhile" --- Robert Harper, CMU What mathematical rigor has and has not to offer to software engineers. Peter Naur wrot...