Qualifies for Free Shipping
    Check Availability at Nearby Stores

Related collections and offers


Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between their favorite mathematical concepts and the representations thereof in the real world. This leads to mistakes. Daylight introduces seemingly small but useful distinctions. As a result, technical corrections are put forth in connection with formal verification, computer viruses, and program transformation systems.

Even mathematics isn't free from conceptual flaws. Raymond Boute scrutinizes several unsound treatments of the function concept and connects his findings with computer science proper.

Daylight also rectifies the romantic idea that “Turing invented the modern computer”. Contrary to public opinion today, most computer pioneers were not trying to build a practical realization of a universal Turing machine. An exception in this regard is the Dutch computer builder Willem van der Poel, whose story is told here in English for the first time.

Arhur C. Fleck rounds out the historiographical weight of this book with his valuable reflections on the history of programming languages and Turing-Award winners.

Product Details

ISBN-13: 9789491386060
Publisher: Lonely Scholar
Publication date: 12/31/2016
Pages: 266
Product dimensions: 6.00(w) x 9.00(h) x 0.56(d)
From the B&N Reads Blog

Customer Reviews