IF YOU were forced to learn long division at school, you might have had cause to curse whoever invented arithmetic. A wearisome whirl of divisors and dividends, of bringing the next digit down and ...

Richard Elwes reports on Harvey Friedman’s fascinating work on incompleteness in Boolean relation theory, but it is quite a stretch to extend his work to ask “are the rules of arithmetic… unsound?” ...