BBC: A Mathematical Mystery Tour
Documentary about pure mathematics, deductive proof in mathematics, featuring the Japanese mathematicians
who had just broken their own world record calculating pi to 16½ million decimal points; a $25,000 prize for the first person to
prove there are an infinite number of 'twin primes' and why it took Bertrand Russell
362 pages to prove that one plus one equals two. 
