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