Path: ...!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <rczgNdfgMmnvmTsHbNQFUAlWDf8@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Maths constructive, une introduction
References: <t8kmg3$1cfl$1@gioia.aioe.org>
Newsgroups: fr.sci.maths
JNTP-HashClient: Y2ji7VhBNFgI23-KKfo9DeusROg
JNTP-ThreadID: t8kmg3$1cfl$1@gioia.aioe.org
JNTP-Uri: http://news2.nemoweb.net/?DataID=rczgNdfgMmnvmTsHbNQFUAlWDf8@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Sat, 18 Jun 22 21:49:00 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Linux; Android 11; SM-G991B) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/102.0.0.0 Mobile Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="cfbac6e46c08484407823fd604dfcf861321ab27"; logging-data="2022-06-18T21:49:00Z/6996981"; posting-account="1@news2.nemoweb.net"; mail-complaints-to="newsmaster@news2.nemoweb.net"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: Julien Arlandis <julien.arlandis@gmail.com>
Bytes: 1893
Lines: 13

Le 18/06/2022 à 16:12, Python a écrit :
> (Nouvelle tentative d')introduction aux mathématiques constructives : 
> histoire, motivations et principes
> 
> par David Madore
> 
> 
> 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. 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.