Path: ...!3.us.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!news.uzoreto.com!aioe.org!wWi+bf82x/J4IG13ZEtRgw.user.46.165.242.75.POSTED!not-for-mail
From: Samuel DEVULDER <samuel_dot_devulder@laposte_dot_net.invalid>
Newsgroups: fr.sci.maths
Subject: Re: Maths constructive, une introduction
Date: Sun, 19 Jun 2022 20:45:52 +0200
Organization: Aioe.org NNTP Server
Message-ID: <t8nqt0$1g5r$1@gioia.aioe.org>
References: <t8kmg3$1cfl$1@gioia.aioe.org> <rczgNdfgMmnvmTsHbNQFUAlWDf8@jntp>
 <t8li2q$1d8s$1@cabale.usenet-fr.net> <t8li68$1d8s$2@cabale.usenet-fr.net>
 <t8mvqs$cgr$2@shakotay.alphanet.ch> <t8nfqe$l3j$1@gioia.aioe.org>
 <t8nhq9$k28$3@shakotay.alphanet.ch>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="49339"; posting-host="wWi+bf82x/J4IG13ZEtRgw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.10.0
X-Antivirus: Avast (VPS 220619-8, 19/6/2022), Outbound message
X-Notice: Filtered by postfilter v. 0.9.2
X-Antivirus-Status: Clean
Content-Language: fr
Bytes: 1922
Lines: 19

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)