Nyolcvanhat éves korában elhunyt Frank Ramsey