Martin Davis <eipye at pacbell.net> wrote: > that can't be proved without large cardinals, in the British magazine > New Scientist. This is a great article, and Elwes is to be commended for bringing Harvey Friedman's results to the wider public. Tim