Sure! Here are the correct matches for the descriptions:
- Kepler: used mathematics to prove heliocentric theory
- Newton: developed the laws of gravity
- Bacon: developed inductive reasoning
- Descartes: believed he existed because he was able to question his existence