Schemes and Models of the Thinking Machine (1662-1762)