Feynman's 1982 conjecture, that quantum computers can be programmed to simulate any local quantum system, is shown to be correct.