This is Alexis Manaster-Ramer at T.J. Watson. At Stevan Harnad's suggestion, I direct the following question to you: is there a formal result about the equivalence (or, God forbid, nonequivalence) of connectionist models and Turing machines? If so, I would appreciate a reference or a clue towards one. Alexis