Frege : la logique moderne est née d’un problème d’arithmétique

En 1879, un livre de quatre-vingt-huit pages invente la quantification. Son auteur voulait seulement savoir si l’arithmétique pouvait se passer de l’intuition.

Sources vérifiéesLire