Il fonda en même temps que Descartes la géométrie analytique. Précurseur du calcul différentiel, il apporta une contribution essentielle à la théorie des nombres. Enfin, il fut avec Pascal à l'origine du calcul des probabilités. Son « grand théorème » n'a été démontré qu'en 1993-1994.