When did Moore resign his teaching post ?
Finding these lectures rather boring , even mind dulling , he would liven up a lecture by running a race in his mind with the lecturer , by trying to discover the proof of an announced theorem before the lecturer had finished his presentation .