In his latest talk about SAT solvers at the Johannes Kepler University Linz (JKU), Computer Science pioneer Donald E. Knuth gave a deep and quite emotional insight about his life-long, epic work on the book ‘The Art of Computer Programming’. The Art of Computer Programming, aka TAOCP represents the one and only global reference on algorithms, their analysis and computer programming in general and is the standard work for all computer scientists worldwide.
Donald E. Knuth talked about his recent chapter within TAOCP on SAT solvers and how fascinating these satisfiability problems as well as the derived problem and number patterns are. Knuth invited the audiance to ask all kind of questions, which span detailed explanaitations on his love for TEX as well as for his CWEB language, to quite personal topics, such as Prof. Knuth’s love for organ music and that he might also write down his own organ composition. During his trip through Austria, Prof. Knuth also had the chance to play on famous local organs, such as the organ within the monastry of St. Florian where Anton Bruckner was playing in 1850.
To summarize, Prof. Knuth gave a fascinating and very inspiring talk about his actual work and it seems as if there will be a lot of topics and chapters within the coming years!
He also shared an interesting advice with his audience: “If you are not fascinated and interested in what you are doing, then you are the only person to blame for!”