Gerald (Gerry) Frank Ramsey, 73