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:…
Bureaucracy 2.0
buzzword: Achieving higher levels of inefficiency through the inappropriate application of technology. I was sitting in a meeting yesterday, and realized that the conventional approach to software design (more generally, any big project) is for upper management think that they…