Computability and Unsolvability door Harold Davis & Martin Davis