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 <om+news@miakinen.net>
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: <t8li2q$1d8s$1@cabale.usenet-fr.net>
References: <t8kmg3$1cfl$1@gioia.aioe.org> <rczgNdfgMmnvmTsHbNQFUAlWDf8@jntp>
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: <rczgNdfgMmnvmTsHbNQFUAlWDf8@jntp>
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