Real Addition is Computable

Theorem

Let $f : \R^2 \to \R$ be defined as:

$\map f {x, y} = x + y$

Then $f$ is computable.

Proof

Follows immediately from:

• Real Addition is Sequentially Computable
• Real Addition is Computably Uniformly Continuous

$\blacksquare$