Papers We Love's book club has selected The Dawn of Software Engineering: from Turing to Dijkstra (http://www.lonelyscholar.com/dawn) as our next book.
Please note we're skipping 19 July and the next meeting is 2 August.
On 2 August we'll discuss chapters 1-3. The introduction, an examination of Turing's influence on programming, and "Djikstra's Rallying Cry for Generalization"
Contrary to what many believe, Alan Turing’s legacy lies more in programming after his death than in computer building during his lifetime. Turing’s ‘universal machine’ helped programming language designers see the wood for the trees. Later, problems unsolvable with a computer influenced experienced programmers, including Edsger W. Dijkstra.
Dijkstra’s pioneering work shows that both unsolvability & aesthetics have practical relevance in software engineering. But to what extent did Dijkstra and others depend on Turing’s accomplishments? This book presents a revealing synthesis for the modern software engineer and, by doing so, deromanticizes Turing’s role in history.
How did the idea of machine independence enter the emerging field of software engineering? What does it have to do with logic? Daylight answers several such questions and discusses them with four Turing award winners: Hoare, Liskov, Wirth, and Naur.
Please consider joining us for lunch downtown and interesting conversation. See you there!