“As the existence of a corps of professors of mathematics is peculiar to our navy, as well as an apparent, perhaps a real, anomaly, some account of it may be of interest.”