Complex sentence: This was proven by Robert Solovay who, following earlier work of Paul Cohen, introduced the notion of a random real number.
Split into simpler sentences: This was proven by Robert Solovay, following earlier work of Paul Cohen. Solovay introduced the notion of a random real number.