Yeah, i knew of the video. That somewhat proves the point i make here - https://news.ycombinator.com/item?id=47331352
People only focus on that phrase since it makes a nice "talking point" and ignore all the other interesting things from Kay's talk. For example; i never knew that most of Euler's proofs were wrong w.r.t. rigorous approach as defined today!