Infinite chess: the mate-in-n problem is decidable and the omega-one of chess

32 mins 45 secs,  454.53 MB,  MPEG-4 Video  640x360,  29.97 fps,  44100 Hz,  1.85 Mbits/sec
Share this media item:
Embed this media item:


About this item
Image inherited from collection
Description: Hamkins, JD (City University of New York)
Thursday 22 March 2012, 16:00-16:30
 
Created: 2012-03-29 17:44
Collection: Semantics and Syntax: A Legacy of Alan Turing
Publisher: Isaac Newton Institute
Copyright: Hamkins, JD
Language: eng (English)
Distribution: World     (downloadable)
Explicit content: No
Aspect Ratio: 16:9
Screencast: No
Bumper: UCS Default
Trailer: UCS Default
Available Formats
Format Quality Bitrate Size
MPEG-4 Video * 640x360    1.85 Mbits/sec 454.53 MB View Download
WebM 640x360    770.25 kbits/sec 184.85 MB View Download
Flash Video 484x272    568.7 kbits/sec 136.41 MB View Download
iPod Video 480x270    506.05 kbits/sec 121.45 MB View Download
MP3 44100 Hz 125.03 kbits/sec 29.87 MB Listen Download
Auto (Allows browser to choose a format it supports)