Stuart_Armstrong comments on We won’t be able to recognise the human Gödel sentence