Information about Paul Erdös (1913–1996)