<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>1021</entry>
</identifier>
<title><string language="fre"><![CDATA[Les fondements des mathématiques]]></string></title>
<language>FRE</language>
<description>
<string language="fre"><![CDATA["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. "]]></string></description>
<keyword><string language="fre"><![CDATA[analyse]]></string></keyword><keyword><string language="fre"><![CDATA[théorème de Gödel]]></string></keyword><keyword><string language="fre"><![CDATA[récessivité]]></string></keyword><keyword><string language="fre"><![CDATA[Popperisme]]></string></keyword><keyword><string language="fre"><![CDATA[paradoxe]]></string></keyword><keyword><string language="fre"><![CDATA[langage informatique]]></string></keyword><keyword><string language="fre"><![CDATA[intuitionnisme]]></string></keyword><keyword><string language="fre"><![CDATA[Hilbert]]></string></keyword><keyword><string language="fre"><![CDATA[formalisme mathématique]]></string></keyword><keyword><string language="fre"><![CDATA[expansivité]]></string></keyword><keyword><string language="fre"><![CDATA[diagonale de Cantor]]></string></keyword><keyword><string language="fre"><![CDATA[arithmétique de Peano]]></string></keyword><keyword><string language="fre"><![CDATA[théorie des ensembles]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-07-06 14:22:22
FN:Jean-Yves GIRARD
N:GIRARD;Jean-Yves;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/girard_jean_yves
ROLE:author
NOTE: Statut Directeur de recherches CNRS à Marseille, où je dirige l'équipe de Logique de la Programmation au sein de l'Institut de Mathématiques de Luminy (ci-devant Laboratoire de Mathématiques Discrètes) UPR 9016. Diplômes Docteur et agrégé de mathématiques. Parcours - 1992--- : Directeur de recherches CNRS à Marseille, y dirige l'équipe de Logique de la Programmation au sein de l'Institut de Mathématiques de Luminy (ci-devant Laboratoire de Mathématiques Discrètes) UPR 9016. - 1991-1995 : Membre élu du Comité National (section 01). - 1990-1992 : Directeur de recherches CNRS, à l'Université Paris VII, dans l'Equipe de Logique Mathématique (UA 753). - 1989-1991 : conseiller scientifique auprès du projet FORMEL de l'INRIA, dirigé par Gérard Huet. - 1983-1986 : Membre nommé du Comité National (section 03). - 1981--- : Maître de recherches (DR2) au CNRS. - 1973-1981 : Chargé de recherches au CNRS. - 1971--- : Entre au CNRS. - 1971-1992 : Professeur à Paris VII. - 1966-1970 : Elève-Maître à l'ENS de St Cloud, Lyon, Montepellier. - 962-1965 : élève-maître à l'Ecole Normale d'Instituteurs de Lyon. Prix - 1990 : Prix Poncelet de l'Académie des Sciences. - 1983 : Médaille d'Argent du CNRS. Spécialités logique, informatique théorique, mathématiques 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2000-06-17</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>publisher</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-07-06 14:22:22
FN:Mission 2000 en France
N:Mission 2000 en France;;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/mission_2000_en_france
ROLE:publisher
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2000-06-17</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-07-06 14:22:22
FN:UTLS - la suite
N:UTLS - la suite;;;;
URL;TYPE=work:http://www.canal-u.tv/producteurs/universite_de_tous_les_savoirs
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2000-06-17</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/universite_de_tous_les_savoirs/les_fondements_des_mathematiques.1021]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/utls/les.fondements.des.mathematiques_1021/90169_jeanyvesgirard_sd.mp4]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/utls/les.fondements.des.mathematiques_1021/90169_jeanyvesgirard_bd.mp4]]></location>
<size>339213228</size>
<duration><duration>PT1H14M12S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>higher education</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/universite_de_tous_les_savoirs/les_conferences_de_l_annee_2000/perspectives_sur_les_mathematiques_actuelles</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Perspectives sur les mathématiques actuelles]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>510</id>
<entry>
<string language="fre"><![CDATA[Mathématiques]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>