As defined in MacLennan (1987), a {\it field computer} is a (spatial) continuum-limit neural net. This paper investigates field computers whose dynamics is also contiuum-limit, being governed by a purely linear integro-differential equation. Such systems are motivated both as as a means of studing neural nets and as a model for cognitive processing. As this paper proves, such systems are computationally universal. The ``trick'' used to get such universal nonlinear behavior from a purely linear system is quite similar to the way nonlinear macroscopic physics arises from the purely linear microsopic physics of Schr\"odinger's equation. More precisely, the ``trick'' involves two parts. First, the kind of field computer studied in this paper is a continuum-limit threshold neural net. That is, the meaning of the system's output is determined by which neurons have an activation exceeding a threshold (which in ths paper is taken to be 0), rather than by the actual activation values of the neurons. Second, the occurence of output is determined in the same thresholding fashion; output is available only when certain {\it output-flagging} neurons exceed the threshold, rather than after a certain fixed number of iterations of the system. In addition to proving and discussing their computational universality, this paper cursorily investigates the dynamics of these systems.
[1]
H. Everett.
"Relative State" Formulation of Quantum Mechanics
,
1957
.
[2]
Marian Boylan Pour-el,et al.
A computable ordinary differential equation which possesses no computable solution
,
1979
.
[3]
D. Deutsch.
Quantum theory, the Church–Turing principle and the universal quantum computer
,
1985,
Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[4]
S. Smale,et al.
On a theory of computation and complexity over the real numbers; np-completeness
,
1989
.
[5]
W. Pitts,et al.
A Logical Calculus of the Ideas Immanent in Nervous Activity (1943)
,
2021,
Ideas That Created the Future.
[6]
David H. Wolpert,et al.
A Mathematical Theory of Generalization: Part II
,
1990,
Complex Syst..
[7]
B. MacLennan.
Continuous Symbol Systems: The Logic of Connectionism
,
1991
.