[FOM] Unknowability of AI?

[Edward Bonan-Hamada]

In your proof you have:


  2. If any correct cognitive behavior C deduces (G'), then (G') is not true. 
So, no C correctly deduces (G'). 
   
  
  What is the relationship between C deducing (G')and the truth of (G')? It
seems that one needs a "correctness" theorem here linking a deduction by C to
the truth of (G'). Also, from what I've read there are different types of
cognition that scientists talk about. Grossberg's (December 2000 Notices of the
AMS)work with neural networks is quite different from the cognitive linguistic
level of Lakoff and Nunez (Where Mathematics Comes From). To cloud the matter
even further consider Nisbett, et.al., (Culture and Systems of Thought: Holistic
Versus Analytic Cognition)whose work suggests that there are differences in
cognitive process that are culturally driven.

    Aloha,
     Ed B-H