New book: Algorithmic Barriers Falling: P=NP?  Just appeared!

From the preface:

The official site of ACM Turing Award winners describes Donald E. Knuth as the rare theoretician who writes many lines of code every day. His main life goal from the 1960s onwards is, in a nutshell, to nail the costs of computation down to the last penny.

In a previous post I scrutinized Moshe Y. Vardi's account of Church and Turing. During the past months I refined that post and added it to the first chapter of my recent book The Dawn of Software Engineering: from Turing to Dijkstra. I now present a summary of my book and briefly explain how Turing's work influenced Dijkstra's thinking. The book has just appeared in print.

Summary

In the July 2011 issue of the Communications of the ACM you will find on page 5 a section entitled "Solving the Unsolvable", written by the editor in chief, Moshe Y. Vardi. In his words: