Page 1 sur 1

[VIDEO] Formaliser la droite des nombres réels

Publié : 09 déc. 2018 02:13
par IdenoMath
Hello ,

Voilà une vidéo qui identifie 2 problèmes des représentations spatiales des nombres réels, qui propose une solution pour les éviter, ainsi qu'une présentation pas à pas de la représentation de nombres usuels (entiers naturels, relatifs, rationnels, irrationnels) :
https://www.youtube.com/watch?v=4fzg058ytsw

Cheers,

IdenoMaths

Re: [VIDEO] Formaliser la droite des nombres réels

Publié : 15 déc. 2018 13:50
par bullquies
les nombres réels n'existent pas si on essaye d'être rigoureux.

Re: [VIDEO] Formaliser la droite des nombres réels

Publié : 16 déc. 2018 15:34
par haw7ski
bullquies a écrit :
15 déc. 2018 13:50
les nombres réels n'existent pas si on essaye d'être rigoureux.
Plus de détails ?

Re: [VIDEO] Formaliser la droite des nombres réels

Publié : 17 déc. 2018 08:46
par GaBuZoMeu
Bonjour,

On peut tenir des propos de comptoir comme bullquies ou Dattier. On peut aussi faire des mathématiques. Et si on souhaite développer autre chose que la construction des nombres réels dans ZFC, on peut suivre par exemple E. Bishop et ses ouvrages "Foundations of Constructive Analysis" et "Constructive Analysis".

Re: [VIDEO] Formaliser la droite des nombres réels

Publié : 17 déc. 2018 11:09
par GaBuZoMeu
Je répète, toute la question est de savoir si on fait des mathématiques ou si on se contente de propos de comptoir.
On peut très bien se consacrer aux mathématiques constructives. Encore faut-il le faire mathématiquement.

Re: [VIDEO] Formaliser la droite des nombres réels

Publié : 17 déc. 2018 11:43
par GaBuZoMeu
D'accord. Continue les propos de comptoir. J'interviendrai peut-être quand tu parleras de mathématiques.

Re: [VIDEO] Formaliser la droite des nombres réels

Publié : 17 déc. 2018 11:54
par bullquies
Oui je m'intéresse au constructivisme. Voir les cours de Norman J. Wildberger.

Merci pour les deux bouquins, j'aimerais comparer à ce que ce dernier raconte.