Lorsque Kant a prouvé / proposé que les mathématiques sont une connaissance «analytique» et «a priori», considère-t-il que les opérations mathématiques sont une création humaine ?

Réponse publiée sur Quora

Les philosophes ne prouvent rien du tout. Ils racontent ce qu’ils pensent en termes ampoulés, un peu comme les curés et les gourous.

D’après La Philosophie des mathématiques de Kant , il a au moins pigé un truc important:

La mathématique seule a desaxiomes, c’est-à-dire des principes synthétiques a priori, « parce qu’elle seule peut, en construisant un concept, lier a priori et immédiatement ses prédicats dans l’intuition de son objet »

La partie qui n’est pas en gras est typique de la philosophie : des tas de mots dont chaque philosophe a sa propre définition (a priori, principe, synthétique, concept, prédicat, intuition, objet) pour réinterpréter un truc tout con et clair : La mathématique seule a desaxiomes.

or

Un Axiome est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique .

Les maths sont basés sur un ensemble de propositions non démontrées. C’est donc une création humaine, pas besoin de faire tant de chichis philosophiques.

En plus, à part dans nos ordinateurs et peut-être dans les cerveaux des animaux, on a jamais rien trouvé qui calcule dans la nature, ne serait-ce qu’une bête addition. Il y a plus de gens qui voient la Sainte Vierge que des intégrales curvilignes, et pourtant il y a en principe une infinité d’intégrales curvilignes…