A German astronomer who mathematically proved the Copernican model, by discovering the laws of planetary motion.