| Version imprimable |
Ressource documentaire
| Computers are Not Omnipotent (en Anglais) | |||
Droits : Droits réservés à l'éditeur et aux auteurs Auteur(s) : HAREL David Éditeur(s) : Université Paris I Panthéon-Sorbonne 11-03-2015 Description : 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. Mots-clés libres : computer | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmpt://fms2.cerimes.fr:80/vod/universit.paris.1.panth.on.sorbonne/computers.are.not.omnipotent_17720/david.harel.export.sd2.mp4 | ||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:17720 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Computers are Not Omnipotent (en Anglais) | |||||||||
Identifiant de la fiche : 17720 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) : HAREL DAVID Éditeur(s) : Université Paris I Panthéon-Sorbonne 11-03-2015 Description : 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. Mots-clés libres : computer
| PEDAGOGIQUE Type pédagogique : cours / présentation TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 199.40 Mo Durée d'exécution : 1 heure 11 minutes 11 secondes RELATIONS Cette ressource fait partie de : | ||||||||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:17720 Type de ressource : Ressource pédagogique | |||||||||
| Exporter au format XML |