Было бы очень обескураживающим, если где -то в будущем вы можете спросить компьютер, верна ли гипотеза Римана, и в нем говорилось: «Да, это правда, но вы не сможете понять доказательство». Джон Хорган.