Проблема Гольдбаха

Любое четное число больше чем 2 можно представить в виде суммы двух простых чисел

•

проблема гольдбаха

христиан гольдбах

(Christian Goldbach, 1690-1764) — немецкий математик. Родился в Кенигсберге в Пруссии (ныне Калининград, Россия). В 1725 году стал профессором математики в Санкт-Петербурге, тремя годами позже приехал в Москву в качестве домашнего учителя будущего царя Петра II. Во время путешествий по Европе Гольдбах познакомился со многими ведущими математиками своего времени, включая Готфрида Лейбница, Абрахама де Муавра и семью Бернулли. Многие его работы выросли из переписки с великим швейцарским математиком Леонардом Эйлером (Leonhard Euler, 1707-83). Утверждение, которое мы теперь называем проблемой Гольдбаха, впервые было выдвинуто в 1742 году в письме Гольдбаха к Эйлеру.

Самые простые математические утверждения иногда бывает сложнее всего доказать. Так, великая теорема ферма была окончательно доказана лишь в конце XX века — через несколько сот лет после того, как была сформулирована. Существует еще одно утверждение, чем-то похожее на теорему Ферма, которое математики не смогли доказать до сих пор. Его называют проблемой Гольдбаха, и формулировка этого утверждения предельно проста. В нем всего лишь говорится, что каждое четное число больше 2 можно представить как сумму двух простых чисел. (Поясним: простое число — это число, которое делится только на 1 и на себя само. Так, 2, 3, 5, 7 — простые числа, а 4 (2 х 2),

6 (3 х 2), 9 (3 х 3) — нет.) Впервые это утверждение выдвинул Христиан Гольдбах в 1742 году. Из него следует, что 10 (возьмем пример попроще) как четное число можно записать в виде суммы

7 + 3, где 7 и 3 — простые числа. Другая формулировка утверждения Гольдбаха, немного менее известная, — что любое нечетное число, большее или равное 9, можно представить в виде суммы трех простых чисел (например, 13 = 7 + 3 + 3 = 5 + 5 + 3).

С тех пор как Гольдбах выдвинул эту гипотезу, математики не сомневались, что она, как и Великая теорема Ферма, верна. Тем не менее в отличие от теоремы Ферма никто никогда не претендовал на то, что сумел ее доказать. К решению этой проблемы существует подход «в лоб» — надолго запустить компьютерную программу, которая бы последовательно проверяла это утверждение на все больших и больших четных числах. Таким способом можно было бы опровергнуть теорему, будь она неверна. Но так нельзя доказать теорему — по той простой причине, что никогда нельзя гарантировать, что число, которое программа могла бы проверить за следующий свой шаг, не окажется первым исключением из правила. В действительности мы знаем, что проблема Гольдбаха верна по крайней мере для всех четных чисел, не превышающих 100 000.

В 30-е годы XX века группа русских математиков установила, что количество простых чисел, которые при сложении образуют четное число, конечно, а также что проблема Гольдбаха верна для большого класса четных чисел. Однако доказательство теоремы до сих пор не найдено.

Почему математики тратят столько времени на решение таких задач, как Великая теорема Ферма или проблема Гольдбаха? Ведь в этом нет практического смысла, из их решения нельзя извлечь никакой выгоды. На мой взгляд, это очень древний и очень свойственный человеческой природе вид деятельности — поиск самоочевидной, бесспорной истины. Философы тысячелетиями ищут истину. Математики надеются обнаружить такие истины, работая с системами, построенными на чистой логике. И то, что эти доказательства столь трудно достижимы, наверное, объясняется скорее самой природой логики, невозможностью найти истину в этом ненадежном, изменчивом мире, а не свойством математики как таковой.

Проект «Геном человека»

•

В июне 2000 года был опубликован предварительный проект полной последовательности ДНК человека

Дата добавления: 2015-08-18