Video: Stephen Cook, "Bounded Reverse Mathematics"

Video From 11w5103: Proof complexity

Thursday, October 6, 2011 09:05 - 10:02

Bounded Reverse Mathematics

Stephen Cook, Video: Bounded Reverse Mathematics

Stephen Cook, Bounded Reverse Mathematics, Proof complexity, BIRS, BIRS talk, 11w5103, math, mathematics, video

Banff International Research Station

presentation

mpeg4

279M

http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos

http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos/watch/201110060905-Cook.html

Bounded Reverse Mathematics

Stephen Cook at 11w5103: Proof complexity on Thursday, October 6, 2011

0 seconds of 0 secondsVolume 0%

00:00