IN an article in Nature of May 4, p. 571, Mr. John Todd and Mr. D. H. Sadler expressed the view that training in numerical methods should be given to mathematical students at the post-graduate level.

The field of Reverse Mathematics explores the minimal axiomatic frameworks necessary to prove classical theorems, seeking to elucidate the logical foundations of mathematics. In parallel, ...