New subjects such as computational geometry, fractal geometry, turbulence,
and chaotic dynamical systems have sprung up. Indeed many second-order
phenomena only become apparent after considerable computational
experimentation. Classical subjects like number theory, group theory and
logic have received new infusions. The boundaries between mathematical
physics, knot theory, topology and other pure mathematical disciplines are
more blurred than in many generations. Computer assisted proofs of ``big''
theorems are more and more common: witness the 1976 proof of the Four
Colour theorem and the more recent 1989 proof of the non-existence of a
projective plane of order ten (by C. Lam et al at Concordia).
Annotation Form Interface