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