A simple Turing machine can add two integers - any two integers. The final dictionary cannot.
EDIT:
(I am editing my answer because soandos did too well to respond in a tight block of comments.)
Good question! Suppose we have an infinite dictionary listing the {key, value} pairs, where the keys are all possible combinations of Turing machines and their final inputs (or, which is the same, all possible finite input sequences for a universal Turing machine) in ascending order. Values โโare corresponding end states, with the leading bit indicating [HALTS, NOT HALT]. I affirm that this is Turing. (The act of finding a record is trivially simple, and I don't think we should argue about that.)
JSoldi: [HALT, NOT HALT] , . , , , - โโ . , - , . - ( , ), .