| Version imprimable |
Ressource documentaire
| Les fondements des mathématiques (en Français) | |||
Droits : Droits réservés à l'éditeur et aux auteurs Auteur(s) : GIRARD Jean-Yves, UTLS - la suite Éditeur(s) : Mission 2000 en France 17-06-2000 Description : "La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien. " Mots-clés libres : analyse, arithmétique de Peano, diagonale de Cantor, expansivité, formalisme mathématique, Hilbert, intuitionnisme, langage informatique, paradoxe, Popperisme, récessivité, théorème de Gödel, théorie des ensembles | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmp://streamer2.cerimes.fr/vod/canalu/videos/utls/169 | ||
Entrepôt d'origine : Canal-U - OAI Archive Identifiant : oai:canal-u.fr:103373 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Les fondements des mathématiques (en Français) | |||||||||
Identifiant de la fiche : 103373 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0 Droits : libre de droits, gratuit Droits réservés à l'éditeur et aux auteurs Auteur(s) : GIRARD JEAN-YVES Éditeur(s) : Mission 2000 en France, UTLS - la suite 17-06-2000 Description : "La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien. " Mots-clés libres : analyse, arithmétique de Peano, diagonale de Cantor, expansivité, formalisme mathématique, Hilbert, intuitionnisme, langage informatique, paradoxe, Popperisme, récessivité, théorème de Gödel, théorie des ensembles
| PEDAGOGIQUE Type pédagogique : cours / présentation Niveau : enseignement supérieur, autres TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 233.49 Mo Durée d'exécution : 1 heure 13 minutes 56 secondes RELATIONS Cette ressource fait partie de : | ||||||||
Entrepôt d'origine : Canal-U - OAI Archive Identifiant : oai:canal-u.fr:103373 Type de ressource : Ressource pédagogique | |||||||||
| Exporter au format XML |