Uncomputable Functions and Incompleteness

Streaming video - 2015

Algorithmic information is plagued by a strange impossibility that shakes the very foundations of logic and mathematics. Investigate this drama in four acts, starting with a famous conundrum called the Berry Paradox and including Turing’s surprising proof that no single computer program can determine whether other programs will ever halt..

Saved in:
Subjects
Genres
Educational films
Published
[San Francisco, California, USA] : The Great Courses 2015.
2016.
Language
English
Online Access
A Kanopy streaming video
Cover Image
Item Description
In Process Record.
Title from title frames.
Film
Physical Description
1 online resource (streaming video file) (31 minutes): digital, .flv file, sound
Playing Time
00:30:49
Format
Mode of access: World Wide Web.
Access
AVAILABLE FOR USE ONLY BY IOWA CITY AND RESIDENTS OF THE CONTRACTING GOVERNMENTS OF JOHNSON COUNTY, UNIVERSITY HEIGHTS, HILLS, AND LONE TREE (IA).