<?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>3954</entry>
</identifier>
<title><string language="fre"><![CDATA[Les théorèmes de Gödel : fin d’un espoir ?]]></string></title>
<language>FRE</language>
<description>
<string language="fre"><![CDATA[En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leurs déductions. Apparemment très technique, ce théorème bouleversait la philosophie des mathématiques, et en particulier la vieille question de leur "fondement". 
Jean-Marc Deshouillers se propose ici de décrire l'avant et l'après Gödel en retraçant l'histoire des théories mathématiques depuis Aristote et Euclide jusqu'au renversement révolutionnaire des fondements mathématiques induit par le théorème d’incomplétude.
La conférence a été donnée à l'Université Victor Segalen Bordeaux 2 dans le cadre du cycle de conférences "L'invité du Mercredi" / Saison 2005-2006 sur le thème "L'espoir". Service culturel Université Victor Segalen de Bordeaux 2 / DCAM /]]></string></description>
<keyword><string language="fre"><![CDATA[philosophie des mathématiques]]></string></keyword><keyword><string language="fre"><![CDATA[théorie mathématique]]></string></keyword><keyword><string language="fre"><![CDATA[intuitionnisme]]></string></keyword><keyword><string language="fre"><![CDATA[théorème de Gödel]]></string></keyword><keyword><string language="fre"><![CDATA[théorie des ensembles]]></string></keyword><keyword><string language="fre"><![CDATA[théorie des groupes]]></string></keyword><keyword><string language="fre"><![CDATA[calculabilité]]></string></keyword><keyword><string language="fre"><![CDATA[formalisation mathématique]]></string></keyword><keyword><string language="fre"><![CDATA[théorème d’incomplétude]]></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-09-16 17:44:25
FN:Jean-Marc DESHOUILLERS
N:DESHOUILLERS;Jean-Marc;;;
URL;TYPE=work:http://www.math.u-bordeaux1.fr/maths/
ROLE:author
NOTE:Professeur à l'Institut de Mathématiques de Bordeaux 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2006-02-22</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-09-16 17:44:25
FN:DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
N:DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen;;;;
URL;TYPE=work:http://www.dcam.u-bordeaux2.fr
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2006-02-22</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-09-16 17:44:25
FN:Service Culturel - Université Bordeaux Segalen
N:Service Culturel - Université Bordeaux Segalen;;;;
URL;TYPE=work:https://www.u-bordeaux.fr/Campus/Culture
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2006-02-22</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>publisher</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:44:25
FN:DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
N:DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen;;;;
URL;TYPE=work:http://www.dcam.u-bordeaux2.fr
ROLE:publisher
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2006-02-22</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-09-16 17:44:25
FN:DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
N:DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen;;;;
URL;TYPE=work:http://www.dcam.u-bordeaux2.fr
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2006-02-22</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_bordeaux/les_theoremes_de_godel_fin_d_un_espoir.3954]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/groupe_dcam/les.th.or.mes.de.g.del.fin.da.un.espoir._3954/les_theoremes_de_godel_fin_d_un_espoir.sd.mp4]]></location>
<size>314410130</size>
<duration><duration>PT1H29M52S</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_bordeaux/l_invite_du_mercredi/saison_2005_2006_l_espoir</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Saison 2005-2006 : L'Espoir]]></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>501</id>
<entry>
<string language="fre"><![CDATA[Philosophie et théorie des sciences naturelles et mathématiques]]></string>
</entry>
</taxon>
</taxonPath>
<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>