Mathematician paul erdos biography definition