CS and Game Theory

I read Papadimitriou’s article on Algorithms, Games, and the Internet, and found it to be a rather nice overview strongly hinting at future emphasis within the Theoretical Computer Science community. I’ve long thought that a good game theoretic background would…

The Rules of Logic

Taken from Scott Aaronson’s PHYS771 Quantum Computing Since Democritus Propositional Tautologies: A or not A, not(A and not A), etc. are valid. Modus Ponens: If A is valid and A implies B is valid then B is valid. Equality Rules:…

Bayesian Priors and Quantum Mechanics

I was reading The Quantum Times, and it occurred to me that much of the stuff about Alice and Bob sharing a Quantum State, and then Alice changing Bobs particle by measuring hers, strikes me as counter-intuitive. It seems to…

The Difference is Zero

What is the difference between nonnegative and positive integers? The element 0. “The difference is 0” is not the same as “There is no difference”.