Title: Gull's theorem revisited

Abstract: Steve Gull, in unpublished work available on his Cambridge University homepage, has outlined a proof of Bell's theorem using Fourier theory. Gull's philosophy is that Bell's theorem can be seen as a no-go theorem for a project in distributed computing (with classical, not quantum, computers!). We present his argument, correcting misprints and filling gaps. In his argument, there were two completely separated computers in the network. We need three in order to fill all the gaps in his proof: a third computer supplies a stream of random numbers to the two computers, which represent the two measurement stations in Bell's work. At the end of the day, one can imagine that computer replaced by a cloned, virtual computer, generating the same pseudo-random numbers within each of Alice and Bob's computers. Gull's proof then just needs a third step: writing an expectation as the expectation of a conditional expectation, given the hidden variables.