We prove that under certain conditions, the Lorenz equations support a
form of chaos. The conditions have been verified for a particular set
of parameter values, showing that there is a natural 1:1 corresponden
ce between a set of solutions and the set of all sequences on countabl
y many symbols. The computing required was modest. (C) 1996 Academic P
ress, Inc.