Portsmouth har , såsom ättling af en sidolinie till den berömda mathematikern och astronomen , kommit i besittning af alla dennes papper.