by: John L. Casti,read in 1989

283 Gödel
... 1. Brain = machine Def.
... 2. Brain can compute anything computible (Turing Church)