Sujet : Maths constructive, une introduction
De : python (at) *nospam* example.invalid (Python)
Groupes : fr.sci.mathsDate : 18. Jun 2022, 15:12:25
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <t8kmg3$1cfl$1@gioia.aioe.org>
User-Agent : Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0) Gecko/20100101 Thunderbird/91.10.0
(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
Maths constructive, une introduction
Re: Maths constructive, une introduction