In an editorial published by the American Mathematical Society, mathematicians from the US Naval Academy and the University of Washington noted that, because so much mathematical research is now ...

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?” ...