For him the difficult part of the proof was showing that you can represent text as numbers and manipulate it using arithmetic operations. These days we all do t

For him the difficult part of the proof was showing that you can represent text as numbers and manipulate it using arithmetic operations. These days we all do that for our day jobs. Yes - this is a great way of putting it.