Хрустальный Шар Харви Фридмана предсказывает останов любой не сильно длинной программы (сто состояний). Хватит, чтоб решить все гипотезы Римана, а также, чтоб ответить на вопрос Con(ZFC).
Верим шару или будем руками доказывать?

(Reply to this) (Parent)