A Mathematician's Lament (2011) [pdf](mimuw.edu.pl)

https://www.mimuw.edu.pl/~pawelst/rzut_oka/Zajecia_dla_MISH_2011-12/Lektury_files/LockhartsLament.pdf