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