Professor Gill, thanks for posting the sketch proof.  To help in understanding it, I've attempted to restate it as follows: 

 ::::(1) A deterministic computer program that is intended to duplicate the results of QM implies the existence of a function p1(polarizer angle, trial number). 
 ::::(2) QM implies that the probability p2 of correlation of measurements of polarizations made with polarizers set at two different angles equals 1/4(1 - cos(difference in angles)). 
 ::::(3) The functions p1 and p2 must be equal if the program is to duplicate the results of QM. 
 ::::(4) The Fourier transform of p1 in the trial number domain will be an infinite series of randomly varying 1's and 0's. 
 ::::(5) The Fourier transform of p2 has only three non-zero components. 

 ::::Conclusion: The Fourier transforms are not equal, so there is no such program that can duplicate the results of QM. 

 ::::Is this an accurate restatement of the proof?  If so, why is (3) above true?