Yuri Gurevich's lecture on the concept of algorithm #formalisingthenotionofalgorithm #dagstuhl #philosophyofcomputing