"Richard Borcherds, (quote at 21:37 of 1:36:06 in video)"
January 1, 1970
https://en.wikiquote.org/wiki/Intuitionism