Студентка на госэкзамене защищает дипломную работу по математике. В работе среди прочего содержится краткий обзор современного состояния в решении знаменитых арифметических задач, пришедших из глубокой древности и нерешенных до сих пор.
Защищающаяся добралась до «проблемы близнецов». Рассказывает так, чтобы было понятно всем членам экзаменационной комиссии, среди которых не только математики. Докладчица сообщает, что если числа p и p+2 – оба простые*, то древние греки назвали их «близнецами». Формулирует проблему близнецов: «Верно ли, что множество пар близнецов бесконечно?»
Комиссия уже устала, дипломниц прошло уже много; внимательно слушаю выступающую только я (руководитель дипломницы) и сидящий около меня преподаватель-кандидат педагогических наук (тема диссертации «Теоретические основы и пути активизации личностной позиции школьника в процессе познавательной деятельности» в какие-то годы).
Педагог явно заинтересовался проблемой близнецов. Открыл дипломную работу докладчицы на нужной странице и перечитывает этот раздел уже третий раз.
Выпускница переходит к следующей нерешенной проблеме, а мой сосед тихонько, чтобы не помешать выступающей: «А я вот так и не понял, зачем нужно доказывать p+2?»**
Начало в
http://proza.ru/2024/05/18/504
~~~~~~~~~~~
Примечания
* Натуральное число p, больше единицы, называется простым, если у него в точности два натуральных делителя: само p и единица.
** После такого загадочного вопроса гуманитария, явно не понимающего смысла слова «доказательство», становится правдоподобным известный анекдот об Эйлере и Дидро.
Леонард Эйлер заявил, что обладает математическим доказательством существования Бога.
— Не может быть! — изумился Дени Дидро.
— Извольте, — отвечал Эйлер: «x=(a+b^n)/n, следовательно, Бог существует. Есть ли возражения, месье?»
— Против математики не возразишь, — вздохнул Дени.
———————————————————————————————
Фото из Интернета. Эрнст Фридрих Фердинанд Цермело (Zermelo, 1871—1953) — немецкий математик, один из основателей аксиоматической теории множеств.