The hypothesis was first formulated by Roger Penrose in 1969; it is not stated in a completely formal way.
The hypothesis was first formulated by Roger Penrose in 1969. It is not stated in a completely formal way.