中国科学院数学与系统科学研究院期刊网
Roger Penrose爵士访谈录 (II)
Andrew Hodges
数学译林 . 2020, (1): 38 -46 .