This was proven by Robert Solovay who, following earlier work of Paul Cohen, introduced the notion of a random real number.
This was proven by Robert Solovay. This Robert Solovay introduced the notion of a random real number. This was following earlier work of Paul Cohen.