The elaboration of non-Euclidean geometries required little more than a change of perspective after Giovanni Girolamo Saccheri's purported proof of the parallels postulate by reductio ad absurdum (Saccheri and Halsted 1986).
turing machines can be creative.