Consider some arbitrary machine M:

Either: M is consistent,

In which case, by Gödel’s theorem there will be a sentence that humans recognise as true but that M can't prove. So, we can do something that machine M can't.

Or, M is not consistent

In which case, M can't be a mind because minds must be consistent systems.

In either case, the machine can't be a mind.

John Lucas (1961).