e/Minds, Machines and Gödel

Information
has gloss	eng: Minds, Machines and Gödel is J. R. Lucass 1959 philosophical paper in which he argues that a human mathematician cannot be accurately represented by an algorithmic automaton. Appealing to Gödels incompleteness theorem, he argues that for any such automaton, there would be some mathematical formula which it could not prove, but which the human mathematician could both see, and show, to be true.
lexicalization	eng: Minds, Machines and Godel
lexicalization	eng: Minds, Machines and Goedel
lexicalization	eng: Minds, Machines and Gödel
instance of	c/1961 works