Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{Voir homonymes|Constructivisme}} En [[philosophie des mathématiques]], le '''constructivisme''' est une position vis-à-vis des mathématiques qui considère que l'on ne p ...14 kio (2 167 mots) - 21 septembre 2024 à 08:59
Correspondances dans le texte des pages
- ...odules sont souvent employés dans l'étude de l'[[analyse calculable]] et [[Constructivisme (mathématiques)|des mathématiques constructives]]. [[Catégorie:Constructivisme]] ...2 kio (287 mots) - 9 août 2023 à 17:50
- ...orème de Goodman-Myhill''', concerne la [[théorie des ensembles]] et les [[constructivisme (mathématiques)|mathématiques constructives]]. Il énonce que dans une {{Lie ...classique des ensembles accepte cet axiome sans restriction, mais pour le constructivisme il n'est pas acceptable dans sa forme générale à cause de son [[imprédicati ...4 kio (606 mots) - 3 février 2016 à 00:58
- {{Voir homonymes|Constructivisme}} En [[philosophie des mathématiques]], le '''constructivisme''' est une position vis-à-vis des mathématiques qui considère que l'on ne p ...14 kio (2 167 mots) - 21 septembre 2024 à 08:59
- ...ve. Il en découle plusieurs variantes du [[constructivisme (mathématiques)|constructivisme]] qui divergent sur ce point. [[Catégorie:Constructivisme]] ...8 kio (1 362 mots) - 20 mai 2024 à 19:05
- ...ais pas dans les mathématiques [[Logique intuitionniste|intuitionniste]] [[Constructivisme (mathématiques)|constructives]]. Toutefois, de nombreux cas particuliers so Le principe a d'abord été étudié et adopté par l'école russe du constructivisme, généralement avec l'[[axiome du choix dépendant]] et souvent avec une appr ...8 kio (1 284 mots) - 30 août 2024 à 13:32
- ...s de l'ultrafinitisme sont des formes de [[Constructivisme (mathématiques)|constructivisme]], mais la plupart des constructivistes considèrent l'ultrafinitisme comme ...5 kio (684 mots) - 18 août 2024 à 09:53
- Une '''suite de Specker''' est un contre-exemple dans les [[constructivisme (mathématiques)|mathématiques constructives]] à certains [[théorème]]s étab ...4 kio (613 mots) - 5 août 2022 à 12:00
- Il existe une [[Constructivisme (mathématiques)|preuve constructiviste]] de ce résultat<ref>{{Ouvrage|langu ...5 kio (753 mots) - 20 octobre 2024 à 06:43
- ...oyen effectif de calculer chacune de ces décimales ; on parle alors de ''[[Constructivisme (mathématiques)|réel constructif]]''. ...est souvent considéré comme une forme de [[constructivisme (mathématiques)|constructivisme]], les deux courants étant en opposition avec le [[Platonisme mathématique| ...16 kio (2 513 mots) - 2 novembre 2024 à 16:46
- Cette preuve [[Constructivisme (mathématiques)|constructive]] du [[théorème d'approximation de Weierstrass ...7 kio (1 079 mots) - 18 mars 2025 à 19:48
- ...tract mathematics}}'' (''[[mathématiques pures]]'') et se rapproche de ''[[constructivisme (mathématiques)|mathématiques constructives]]'' ; de plus, elle contient un ...7 kio (931 mots) - 24 janvier 2025 à 01:25
- La démarche de Wildberger s’apparente aux méthodes [[Constructivisme (mathématiques)|constructivistes]] à la mode depuis quelques années en math ...6 kio (942 mots) - 26 janvier 2022 à 09:58
- ...osophie des mathématiques]], le formalisme, Apéry se déclare ouvertement [[Constructivisme (mathématiques)|constructiviste]], par exemple dans une conférence à l'Écol ...6 kio (972 mots) - 21 janvier 2024 à 23:24
- L''''analyse constructive''' est une branche des [[Constructivisme (mathématiques)|mathématiques constructives]]. Elle critique l'[[Analyse (m * [[Constructivisme (mathématiques)]] ...30 kio (5 153 mots) - 25 février 2025 à 09:33
- ...d'un objet défini à partir de l'axiome du choix n'est pas une existence [[Constructivisme (mathématiques)|constructive]], c’est-à-dire que l'axiome ne décrit aucunem ...=21}}|titre chapitre=Hidden Choice}}.</ref> à moins d'être logicien ou « [[Constructivisme (mathématiques)|constructiviste]] », et qui servent à « construire » des su ...22 kio (3 510 mots) - 18 mars 2025 à 13:35
- * [[Jean-Michel Salanskis]], ''Le [[Constructivisme (mathématiques)|constructivisme]] non standard'', [[Presses universitaires du Septentrion|presses universit ...30 kio (4 988 mots) - 1 mars 2025 à 21:59
- ...dans certains topos, mais est invalide dans d'autres. Des mathématiciens [[Constructivisme (mathématiques)|constructivistes]] choisiront de travailler dans un topos d ...12 kio (1 909 mots) - 9 janvier 2025 à 23:49
- la raison pour laquelle on les appelle [[constructivisme (mathématiques)|constructivistes]] ou [[intuitionnisme|intuitionnistes]]. * Les '''[[fondements univalents]]''' : une théorie [[constructivisme (mathématiques)|constructiviste]] qui emprunte à la fois à la théorie homot ...21 kio (3 358 mots) - 15 novembre 2024 à 10:49
- ...position qu'on peut considérer proche du [[Constructivisme (mathématiques)|constructivisme]]. En géométrie, il a conscience du développement que va prendre la [[topol ...20 kio (3 335 mots) - 27 janvier 2023 à 19:26
- ...ti ; au demeurant, elle ne permettrait (en théorie) qu'une démonstration [[constructivisme (mathématiques)|constructive]] pour chaque valeur de ''n'' donnée, mais non ...12 kio (1 711 mots) - 27 septembre 2023 à 16:33