A dilemma about inductive machines
Seeking to avoid the Gödelization problem by making inductive machines results in a dilemma (see detailed text). An inductive machine isn't an adequate model of the mind.
Seeking to avoid the Gödelization problem by making inductive machines results in a dilemma:
Either, the machine acts at random,
In which case, it will not be able to emulate human intelligence.
Or, the inductive machine works according to definite rules,
In which case, it can have a Gödel sentence constructed for it.
In either case, an inductive machine isn't an adequate model of the mind.
John Lucas (1961).