Andrew Jacob Wells

In a recent paper, Lyngzeidetson [1990] has claimed that a type of parallel computer called the ‘Connection Machine’ instantiates architectural principles which will ‘revolutionize which "functions" of the human mind can and cannot be modelled by (non-human) computational automata.’ In particular, he claims that the Connection Machine architecture shows the anti-mechanist argument from Gödel's theorem to be false for at least one kind of parallel computer. In the first part of this paper, I argue that Lyngzeidetson's claims are not supported by his arguments; in the second part I consider some other aspects of parallel computation which may be of theoretical significance in cognitive science.

  Vera & Simon (1993a) have argued that the theories and methods known as situated action or situativity theory are compatible with the assumptions and methodology of the physical symbol systems hypothesis and do not require a new approach to the study of cognition. When the central criterion of computational universality is added to the loose definition of a symbol system which Vera and Simon provide, it becomes apparent that there are important incompatibilities between the two approaches such that situativity theory cannot be subsumed within the symbol systems approach. Symbol systems and situativity theoretic approaches are, and should be seen to be, competing approaches to the study of cognition