Re: Maths constructive, une introduction

Le 19/06/2022 à 18:10, "Benoît L." a écrit :

 Plonk
 

Comme tu dis :)
Sinon c'est pas un problème de math intuitionniste ou autre, c'est un problème de définition de la notion de méthode de sommation que tu adoptes, en particulier au niveau des propriétés que tu voudrais qu'elle ait.
On peut montrer qu'aucune méthode régulière, stable et linéaire ne peut produire -1/12 (bye bye la sommation d'Abel). Il faut donc laisser tomber les exigences de linéarité ou de stabilité de la méthode. Si tu prends la méthode de Ramanunjan, ou la méthode de régularisation via la fonction Zêta, tu obtiens le -1/12.
sam (noot noot)