Latest
Turing TalesDecember 2016 Even before the advent of Twitter, the wide dissemination of an idea in our Western world required a compact and attractive formulation. Examples in contemporary computer science are:
Unfortunately, computer scientists promote, and some believe, these over-simplified statements themselves. Technically inaccurate accounts have been written about Turing's purported legacy and about allegedly important topics that carry his name (such as `Turing completeness' and `Turing universality'). Much needed rectifications are provided here for the sake of obtaining conceptual clarity and making computer science a slightly more mature discipline.
|
Formalism & Intuition in Software DevelopmentAugust 2015
|
Algorithmic Barriers Falling: P=NP?November 2014
These playful bets capture youthful optimism in Complexity Theory. Did Donald E. Knuth share this optimism at the time? And how did the findings of complexity theorists interlace with Knuth's pioneering work in the Analysis of Algorithms? By investigating Knuth's developing thoughts on the theoretical underpinnings of efficient computation, this book sheds light on Knuth's present-day conjecture that P = NP. |
|||
The Essential KnuthAugust 2013 Donald E. Knuth lived two separate lives in the late 1950s. During daylight he ran down the visible and respectable lane of mathematics. During nighttime, he trod the unpaved road of computer programming and compiler writing. |
|||
The Dawn of Software Engineering: from Turing to DijkstraE.G.Daylight "A rich and fascinating account of the time when software engineering was a compelling intellectual discipline at the center of computer science." — John C. Reynolds, CMU
|
More Conversations
Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains.October 2011
|
Peter Naur |
|
Panel discussions I & II, held at the Future of Software Engineering SymposiumPanel discussion in November 2010 at ETH, Zurich. Top researchers debate whether any real progress has been made during the past decades and how to distinguish between good and bad software. |