<?xml version="1.0" encoding="UTF-8"?><metadata>
<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>17720</entry>
    </identifier>
    <title><string language="fre"><![CDATA[Computers are Not Omnipotent]]></string></title>
    <language>ENG</language>
    <description>
        <string language="fre"><![CDATA[In 1984, TIME magazine quoted the chief editor of a certain software publication as saying: "Put the right kind of software into a computer, and it will do whatever you want it to. There may be limits on what you can do with the machines themselves, but there are no limits on what you can do with software."
This talk will survey results obtained over the last 80 years by mathematicians, logicians and computer scientists, which disprove this ignorance-based statement in a sweeping and fundamental way. We shall discuss problems that are provably non-computable, as well as ones that are hopelessly time- or memory-consuming (requiring far more time than has elapsed since the Big Bang, or requiring a computer would not fit into the entire known universe). Time permitting, we will also take a somewhat more amusing look at these facts, and relate them to the (im)possibilities of true artificial intelligence. The topic is very closely linked to some of Alan M. Turing’s most important work.]]></string></description>
    <keyword><string language="fre"><![CDATA[computer]]></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>publisher</value>
            </role>
            <entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2015-06-07 00:01:27
FN:Université Paris I Panthéon-Sorbonne
N:Université Paris I Panthéon-Sorbonne;;;;

URL;TYPE=work:http://www.canal-u.tv/auteurs/universite_paris_i_pantheon_sorbonne
ROLE:publisher
TZ:+0200
END:VCARD
]]></entity>
            <date><dateTime>2015-03-11</dateTime></date>
        </contribute>

    <contribute>
            <role>
                <source>LOMv1.0</source>
                <value>author</value>
            </role>
            <entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2015-06-07 00:01:27
FN:David HAREL
N:HAREL;David;;;

URL;TYPE=work:http://www.canal-u.tv/auteurs/harel_david
ROLE:author
NOTE:David   Harel is a pioneer in the field of computer science. &nbsp;During his   academic career, he worked in several areas of computer science,   including computability, logics of programs, automata theory., software   and systems engineering, object-oriented analysis and design and visual   languages.  Over the past 30 years Harel made a number of contributions bridging the gap   between informal system descriptions and executable programs. He is   widely known as an inventor of statecharts – a visual modeling language   for complex discrete event systems. He is also a co-inventor of live   sequence charts (LSCs), the idea of reactive animation (2002) and   behavioral programming (2010) &nbsp;- the fast growing area of computer   science. David   received a PhD from the Massachusetts Institute of Technology (MIT) in   1978. He is an author of more then 250 scientific publications,   including 10 books. Since 1980 he has worked at the Weizmann Institute   of Science in Rehovot, Israel, where he held the positions of department   head and dean of the Faculty of Mathematics and Computer Science.His   awards include the ACM Karlstrom Outstanding Educator Award (1992), the   Stevens Award in Software Development Methods (1996), the Israel Prize   (2004), the ACM SIGSOFT Outstanding Research Award (2006), the ACM   Software System Award (2007), the ACM SIGSOFT Impact Paper Award (2008),   the Emet Prize (2010) and the ABZ Platinum Gold Medal from ETH Zurich   (2013).He   has received honorary degrees from the University of Rennes (2005), the   Open University of Israel (2006), the University of Milano-Bicocca   (2007), the Technical University of Eindhoven (2012) and Bet Berl   College (2014). He is a Fellow of the ACM (1994), the IEEE (1995), and   the AAAS (2007), and is a member of the Academia Europaea (2006), the   Israel Academy of Sciences and Humanities (2010), the US National   Academy of Engineering (2014), and the American Academy of Arts and   Sciences (2014).
TZ:+0200
END:VCARD
]]></entity>
            <date><dateTime>2015-03-11</dateTime></date>
        </contribute>

</lifeCycle>
<metaMetadata>
    <metadataSchema>LOMv1.0</metadataSchema>
    <metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
    <format>video/x-flv</format>
    <location><![CDATA[http://www.canal-u.tv/video/universite_paris_1_pantheon_sorbonne/computers_are_not_omnipotent.17720]]></location>
    <location><![CDATA[rtmpt://fms2.cerimes.fr:80/vod/universit.paris.1.panth.on.sorbonne/computers.are.not.omnipotent_17720/david.harel.export.sd2.mp4]]></location>
        
        
    <size>209087193</size>
    <duration><duration>PT1H11M11S</duration></duration>
</technical>
<educational>
    <learningResourceType>
        <source>LOMv1.0</source>
        <value>lecture</value>
    </learningResourceType>
    
</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&#039;éditeur et aux auteurs]]></string>
    </description>
</rights>

            <relation>
                <kind>
                    <source>LOMv1.0</source>
                    <value>ispartof</value>
                </kind>
                <resource>
                    <identifier>
                        <catalog>URI</catalog>
                        <entry>http://www.canal-u.tv/producteurs/universite_paris_1_pantheon_sorbonne/entretiens</entry>
                    </identifier>
                    <description>
                        <string language="fre">Professeurs invités à Paris I</string>
                    </description>
                </resource>
            </relation>

<classification>
    <purpose>
        <source>LOMv1.0</source>
        <value>discipline</value>
    </purpose>
    <taxonPath>
        <source>
        <string language="fre">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>004</id>
            <entry>
                <string language="fre">Computer Science</string>
            </entry>
        </taxon>
   </taxonPath>
    <taxonPath>
        <source>
            <string language="fre">CDD 22e éd.</string>
            <string language="eng">DDC 22nd ed.</string>
        </source>
        <taxon>
            <id>302.231</id>
            <entry>
                <string language="fre">Médias numériques (sociologie)</string>
            </entry>
        </taxon>
   </taxonPath>
</classification>      </lom>
   </metadata>