EMPIRICAL EXPLORATIONS OF THE GEOMETRY

ARTIFICIAL INTELLIGENCE only remark here that problem-solving in geometry satisfies our definition of an intellectual activity, while being at the same time especially well suited to the approach we wished to explore. The fact that geometry is decidable is irrelevant for the purpose of our investigation.