Ю. Матиясевич, “КАК ИНФОРМАТИКА ВЛИЯЕТ НА МАТЕМАТИКУ”, CTE, no. 5, Jan. 2014.