Diagonalisation and Church's Thesis: Kleene's Homework