[VIDEO] Formaliser la droite des nombres réels
[VIDEO] Formaliser la droite des nombres réels
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
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
les nombres réels n'existent pas si on essaye d'être rigoureux.
The Axiom of Choice is obviously true, the Well-Ordering Principle is obviously false, and nobody knows about Zorn's Lemma. - Jerry Bona
Re: [VIDEO] Formaliser la droite des nombres réels
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".
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
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.
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
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
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.
Merci pour les deux bouquins, j'aimerais comparer à ce que ce dernier raconte.
The Axiom of Choice is obviously true, the Well-Ordering Principle is obviously false, and nobody knows about Zorn's Lemma. - Jerry Bona