Personally, I'd include the Relational Calculus, or even the Paxos algorithm. But I'd also include Neural Nets knowing what I know now. But I wouldn't include Quantum Computing yet -- not until it's proved to work.