Pātuhitia tēnei: Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more / Dan Gusfield.