Re: Maths constructive, une introduction

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.