УДК 520.254
Алиев Ибратжон Хатамович
Студент 2 курса факультета математики-информатики Ферганского государственного университета
Арипова Сайёра Боходировна
Педагог общеобразовательной школы №1 города Фергана
Аннотация. В фундаменте математики есть слабое место, из-за чего нельзя знать всё наверняка, всегда будут истинные утверждения, которые нельзя доказать, никто точно не знает, что это за утверждения, но они похожи на гипотезу о «числах близнецах». Так пары простых чисел, где одна из них больше другого на 2, например 11 и 13 или 17 и 19. Если идти выше по числовой прямой простые числа встречаются всё реже, не говоря уже о таких парах. Но гипотеза о простых числах гласит, что их бесконечно много. До сих пор никто ещё не смог это доказать или опровергнуть.
Ключевые слова: математика, расчёты, дискретная математика, логика.
Annotation. There is a weak spot in the foundation of mathematics, because of which it is impossible to know everything for sure, there will always be true statements that cannot be proved, no one knows exactly what these statements are, but they are similar to the hypothesis of «twin numbers». So pairs of prime numbers, where one of them is larger than the other by 2, for example 11 and 13 or 17 and 19. If you go higher up the numerical line, prime numbers are becoming rarer, not to mention such pairs. But the hypothesis about prime numbers says that there are infinitely many of them. So far, no one has been able to prove or disprove this yet.
Keywords: mathematics, calculations, discrete mathematics, logic.
Но поражает то, что это вероятнее всего никто и никогда это попросту не сможет сделать. Ведь точно известно, что в любой математической системе, где определены операции, всегда будут истинные утверждения, которые невозможно доказать. Самым лучшим примером является математическая модель игры «Жизнь», созданная математиком Джоном Конвеем в 1970-м году.
«Жизнь» разворачивается на бесконечном поле из квадратных ячеек, каждая из которых либо «жива», либо «мертва», в игре всего 2 правила: любая мёртвая клетка, имеющая 3 соседей – оживает и любая живая клетка, у которой меньше 2 или больше 3 соседей – умирает. Так можно задать начальную конфигурацию расположения точек и модель создаёт первое, второе, третье и последующие поколения. Всё происходит автоматически хотя правила простые, они порождают довольно сложное поведение, где возникают следующие ситуации:
1. Стабильные состояния, которые застывают на месте;
2. Зацикливаются в бесконечной петле, постоянно мерцая;
3. Убегают в бесконечном поле, подобно глайдерам;
4. Попросту взаимно уничтожаются;
5. Живущие вечно и создающие новые клетки.
И смотря на такие условия хочется предположить, что любое поведение можно предсказать, придут ли они в покой или будут бесконечно расти в зависимости от начальных условий. Но как бы это не было странным, сделать это не представляется возможным. То есть нельзя создать алгоритм, который находил бы ответ за конечный промежуток времени, не выполняя сам алгоритм, до какого-то момента, но даже при этом, возможно говорить только о конечном счёте времени, то есть до какого-то числа поколений, а не о бесконечности.
Но что ещё более удивительно – это то, что подобные неразрешимые системы не единичны и явно не редки. Можно привести плитки Вана, квантовую физику, продажа авиабилетов или же