Hierarchy of unsolvable problems - Pacaud Lemay, Jean-Simon (Université d'Ottawa | University of Ottawa, 2014)