Astronomer and mathematician who discovered the three laws of planetary motion, providing the mathematical foundation for Newton's law of gravitation.