16 citations · 71 across the 15 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.DM2014★ 2 cited
A Kochen-Specker system has at least 22 vectors (extended abstract)
Sander Uijlen, Bas Westerbaan
At the heart of the Conway-Kochen Free Will theorem and Kochen and Specker's argument against non-contextual hidden variable theories is the existence of a Kochen-Specker (KS) syst…
math.LO2014
On effective undecidability and Post's problem
Bas Westerbaan
In this thesis, we will look at some known and some previously uninvestigated notions of effective undecidability. We try to discover how far we can stretch effective undecidabilit…
math.QA2014★ 1 cited
Unordered Tuples in Quantum Computation
Robert Furber, Bas Westerbaan
It is well known that the C*-algebra of an ordered pair of qubits is M_2 (x) M_2. What about unordered pairs? We show in detail that M_3 (+) C is the C*-algebra of an unordered pai…