c'est le constat que les mathématiques ne sont pas un savoir issu de l'expérience
preuve ? toute abstraction ne serait pas issue de l'expérience ? (j'ai des contre-exemples d'abstractions issues de l'expérience, pour le coup, cf. ci-dessous :p). Pour moi, cela s'apparente plus et est du ressort du postulat ou de l'hypothèse plutôt que démontrable (la caverne de Platon, le dialogue de Ménon étant plus des illustrations que des preuves en tant que tel)
Après qu'il existe un tel sorte de savoir (non empirique), les mathématiques le prouve par le fait
c'est un peu "gonflé" un tel raccourci lorsqu'on sait que la géométrie égyptienne est notamment issue du besoin de retrouver ses parcelles de terrain après l'inondation du Nil, de collecter les impôts par rapport aux surfaces, de compter ses richesses pour les babyloniens (d'où l'apparition des nombres et la gestion des fractions).
[^] # Re: bof
Posté par BAud (site web personnel) . En réponse au journal [HS] La comédie Grok versus Musk/MAGA. Évalué à 2.
preuve ? toute abstraction ne serait pas issue de l'expérience ? (j'ai des contre-exemples d'abstractions issues de l'expérience, pour le coup, cf. ci-dessous :p). Pour moi, cela s'apparente plus et est du ressort du postulat ou de l'hypothèse plutôt que démontrable (la caverne de Platon, le dialogue de Ménon étant plus des illustrations que des preuves en tant que tel)
c'est un peu "gonflé" un tel raccourci lorsqu'on sait que la géométrie égyptienne est notamment issue du besoin de retrouver ses parcelles de terrain après l'inondation du Nil, de collecter les impôts par rapport aux surfaces, de compter ses richesses pour les babyloniens (d'où l'apparition des nombres et la gestion des fractions).