sentence: Gödel himself , John Lucas ( in 1961 ) and Roger Penrose ( in a more detailed argument from 1989 onwards ) made highly technical arguments that human mathematicians can consistently see the truth of their own `` Gödel statements '' and therefore have computational abilities beyond that of mechanical Turing machines .
question: how did someone argue something _ _ ?
answers: highly technical arguments