Basic arithmetic. Published 1 September 2010. From Tim Wilkinson . Richard Elwes reports on Harvey Friedman’s fascinating work on incompleteness in Boolean relation theory, but it is quite a ...

Sure, basic arithmetic may seem a simple thing today, but Devlin says its introduction to the world was comparable to the invention of the computer.