Turing Tales - Softcover

Daylight, Edgar G.

Softcover

ISBN 10: 9491386069 ISBN 13: 9789491386060

Publisher: Lonely Scholar, 2018

Synopsis

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.

Edition details

• Publisher: Lonely Scholar
• Publication date: 2018
• Language: English
• ISBN 10: 9491386069
• ISBN 13: 9789491386060
• Binding: Paperback
• Edition number: 1
• Number of pages: 264
• Editor: De Grave Kurt