Rene' Descartes first argued for the use of deductive reasoning in science in 1637. Also around that time, he developed analytic geometry and explained the formation of rainbows. In 1644 he proposed his vortex theory of the origin and state of the solar system.