Спасибо за ссылку. Очень приятный текст, человеческий какой-то.

По поводу инопланетного доказательства гипотезы Римана - в нобелевской лекции Фила Андерсона есть такой пассаж: если можно написать идеальную компьютерную программу, запустить ее на сверхмощном компьютере и, тем самым, посчитать какое-то свойство без всяких приближений, и потом убедиться, что оно совпало с экспериментом - такой расчет лишь удваивает природу вместо того, чтобы объяснять ее.