October 14, 2013

Cristian S. Calude (University of Auckland, New Zealand)

We will present a strong form of the Kochen-Specker theorem which can be used to certifying a quantum random generator producing highly incompressible sequences.