Path: ...!3.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!.POSTED!not-for-mail From: Olivier Miakinen Newsgroups: fr.sci.maths Subject: Re: Maths constructive, une introduction Date: Sun, 19 Jun 2022 00:03:05 +0200 Organization: There's no cabale Lines: 29 Message-ID: References: NNTP-Posting-Host: 220.12.205.77.rev.sfr.net Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 8bit X-Trace: cabale.usenet-fr.net 1655589786 46364 77.205.12.220 (18 Jun 2022 22:03:06 GMT) X-Complaints-To: abuse@usenet-fr.net NNTP-Posting-Date: Sat, 18 Jun 2022 22:03:06 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 SeaMonkey/2.49.4 In-Reply-To: Bytes: 2067 Le 18/06/2022 23:49, Julien Arlandis répondait à Python : > >> (Nouvelle tentative d')introduction aux mathématiques constructives : >> histoire, motivations et principes >> >> par David Madore Je suis ravi de voir que David Madore écrit toujours des trucs sur les maths. J'avais adoré sa page d'intro sur les nombres ordinaux : http://www.madore.org/~david/weblog/d.2011-09-18.1939.nombres-ordinaux-intro.html >> http://www.madore.org/~david/weblog/d.2022-06-17.2721.constructivism-intro.html#d.2022-06-17.2721 > > J'ai lu avec ma casquette de physicien, c'est relativement bien expliqué > même si ça ne me parle pas vraiment. Je ne l'ai pas encore lu, j'ai juste vu de quoi ça parlait. > D'un point de vue pratique, est ce > que cela peut avoir une incidence sur les sciences dures comme la > physique, si oui le débat m'intéresse sinon je me retire de la > conversation. À mon avis, si le jeu mathématique ne t'intéresse pas et que tu ne cherches que des applications pratiques, alors tu peux te retirer de la conversation. -- Olivier Miakinen