"We have had no theory to exploit, for the history of mathematics has seen too much of this tendency... we have weighed the testimony and have set forth what seem to be the reasonable conclusions from the evidence..."