Слово – только оболочка, пленка, звук пустой, но в нем

[egovoru]

Мы говорим: гипотеза Римана, гипотеза Ходжа, гипотеза Бeрча – Свиннертон-Дайера (это я перечисляю «задачи тысячелетия»), имея в виду сформулированные, но не доказанные математические утверждения. Такое словоупотребление маскирует принципиальную разницу между утверждениями, подлежащими дедуктивному выводу из прежде доказанных или условно принятых утверждений, и гипотезами в естественно-научном смысле, требующими экспериментальной проверки в физическом мире. Я предлагаю ввести отдельный термин для первого класса высказываний, тем более, что он уже наличествует в английском языке: это conjecture.

Слово conjecture, разумеется, исходно латинское, и у нас уже полно подобных: кандидатура, диктатура, клавиатура и т.д. Но вот что интересно: когда я подумала о русском эквиваленте conjecture, мне в голову пришла вовсе не «конъектура» (которая, оказывается, уже есть в нашем языке – с несколько иным значением, хотя мне это слово было неведомо), а «конъекция» (по аналогии с «инъекцией» и особенно «проекцией»). Грамматически «конъектура» точнее соответствует conjecture, но как-то она плохо стыкуется с уже вошедшими в наш язык словами аналогичной формы. Во всяком случае, мое интуитивное чувство языка «конъектуре» со смыслом математической гипотезы упорно сопротивляется! А вам как кажется, какое слово тут лучше подходит – и нужно ли оно вообще?
[Poll #2127612]

Сэр Майкл Атья представляет свое доказательство гипотезы Римана
на Heidelberg Laureate Forum в 2018. Похоже, однако, что это доказательство не убедило его коллег.
Кстати, вот гипотеза Римана – почему-то именно hypothesis, а не conjecture даже в английском языке, в отличие от двух других, мной упомянутых :)

Comments

[lj-frank-bot.livejournal.com]

Hello!
LiveJournal categorization system detected that your entry belongs to the category: Наука (https://www.livejournal.com/category/nauka?utm_source=frank_comment).
If you think that this choice was wrong please reply this comment. Your feedback will help us improve system.
Frank,
LJ Team

[egovoru.livejournal.com]

Фрэнк, тебе нужно завести категорию "Математика"!

[ald1976.livejournal.com]

Но в русском языке и так есть достаточно синонимов различной степени близости: гипотеза, предположение, спекуляция, версия, проблема и.т.д.

И вроде бы нет проблем с подбором подходящего синонима. Также как и нет проблем с использованием "неправильных слов": некоторые гипотезы с самого начала назывались теоремами, некоторые критерии вовсе не критерии и.т.д.

Да и нужды разделять "экспериментальные гипотезы из физики" и "теоретические из математики" тоже, в общем нет - обычно уже из заголовка статьи понятно, к какой области знаний она принадлежит. Тем более, что немало математических гипотез было опровергнуто методом грубой силы - предъявлением контр-примера, найденного с применением больших вычислительных мощностей и/или хитроумного алгоритма. Чем это принципиально отличается от экспериментов на коллайдере или на отыскании чудес в звездном небе?

Не говоря уже о том, что почти любая русская статья имеет английскую версию или сразу пишется на английском, где можно использовать conjecture без директивы ВЦСПС.

[smol1.livejournal.com]

Спекуляция это по английски.
По русски совсем другое значение.

[egovoru.livejournal.com]

"есть достаточно синонимов различной степени близости: гипотеза, предположение, спекуляция, версия, проблема и т.д."

"Предположение" по смыслу вполне подходящее слово, но как-то я не представляю себе выражения вроде: "предположение Римана". Слово "спекуляция" в русском языке приобрело смысл заведомого безосновательного вранья. В английском это не так, но speculation - это не отдельное высказывание, а сам процесс. Слово "версия" обязательно предполагает несколько альтернативных, а в обсуждаемом случае это не обязательно так. "Проблема" имеет другой смысл - этот математический термин есть в английском языке, но в русском ему соответствует "задача". То есть, это то, что требует решения, а не дедуктивного вывода из предыдущих утверждений.

[olaff67.livejournal.com]

Умножение сущностей без необходимости сие есть. Гипотеза как раз и означает, что при ссылании на нее исследователь ступает на не самую твердую почву и работает с не полностью доказанными объектами.

[egovoru.livejournal.com]

Да, но это затушевывает разницу между естественно-научными гипотезами и математическими, что, на мой взгляд, чревато тем, что иные энтузиасты начинают предлагать принять какую-нибудь струнную теорию за "истину", несмотря на то, что она не была проверена экспериментально.

[blacksquare0.livejournal.com]

Гипотеза -- она и есть гипотеза: утверждение, которое ещё не доказано/проверено. Ну а доказательство происходит, естественно, в рамках соответствующей науки: в математике одним образом, в физике -- другим, в филологии -- третьим и т.д.

[egovoru.livejournal.com]

Мне кажется, что способ проверки тут принципиален, потому что тесно свазан с самим характером деятельности. Мне, кстати, кажется, что и слово "наука" не следует употреблять по отношению к математике, по той же причине. (Хотя Гаусс так говорил, да). Некоторым кажется, что это как-то принижает математику, но это, конечно, не так. Математика, как и философия - это интеллектуальная деятельность совсем другого рода, чем естествознание. А вот филология - это принципиально то же самое, что и естествознание.

[anti0h.livejournal.com]

Присоединяюсь к оратору выше. Каждая наука доказывает как умеет.
Интересно, если ли у кого-то идеи как перевести assumption, желательно одним словом? В смысле вот "презумпция" в русском есть, а вот "асумпции" почему-то не завезли..

[egovoru.livejournal.com]

"если ли у кого-то идеи как перевести assumption, желательно одним словом"

Очень просто: "допущение": Let's assume that... = Допустим, что... (при желании можно и: Предложим, что...)

[alaev.livejournal.com]

Со словом conjecture есть ещё та проблема, что в него уже есть устоявшийся русский перевод "предположение". Если добавить ещё конъекцию, то получится два русских слова с одним английским переводом. До добра такое не доведёт.

Главное же, что это искусственная проблема. Вот гипотеза Гольдбаха говорит, что каждое чётное число, начиная с 4, равно сумме двух простых. Чтобы её проверить, нужно перебрать все чётные числа и для каждого проверить, так ли это. Это очень похоже на серию экспериментов. Нет никакой пропасти.

Нужно лишь учесть, что чисел бесконечно много, поэтому для положительного ответа нужно доказательство, а не перебор.

[egovoru.livejournal.com]

"Чтобы её проверить, нужно перебрать все чётные числа и для каждого проверить, так ли это. Это очень похоже на серию экспериментов. Нет никакой пропасти"

На мой взгляд, есть, и вот почему. Предлагаемый Вами "экперимент" не выходит за рамки придуманных нами символов - более того, можно утверждать, что однажды придумав символы и правила обращения с ними, мы придумали уже всю математику, поскольку все ее положения можно дедуктивно вывести из этих исходных посылок. Конечно, их все равно надо "открывать", поскольку на первый взгляд они не очевидны, но можно смело утверждать, что в каком-то смысле вся математика - это тавтология.

(Разумеется, тут есть еще и та трудность, что наше мышление - не полностью сознательно, то есть, мы не всегда отдаем себе отчет, на какие именно положения мы опираемся. А когда математики решили с этим разобраться, обнаружились вещи вроде теорем Геделя).

Естествознание же - заведомо открытая система. Многие представляют себе теоретическую физику, думая о естествознании, но это плохой пример, потому что теоретическая физика - это, по большому счету, та же математика. )

[uri-ben-cephas.livejournal.com]

Conjecture, вроде бы, нечто более слабое, чем гипотеза, с оттенком спекулятивности. Т.е., предложенное значение противоречит словарному.

[egovoru.livejournal.com]

А почему Вы так думаете? Разве у нас есть какие-то основания считать, что Hodge conjecture и Birch and Swinnerton-Dyer conjecture более спекулятивны, чем Riemann hypothesis? Если такие основание есть, мне было бы интересно с ними ознакомиться.

[riftsh.livejournal.com]

С номенклатурой этих вещей везде проблемы. Вот, например, в биологии есть laws (Mendelian), theories (evolution), principles (Hardy–Weinberg), dogmas (Anfinsen's), rules (Chargaff), effects (Baldwin), hypotheses (RNA world) и т.д.

Вы можете их демаркировать?

[egovoru.livejournal.com]

Ну, Chargaff's rules и Baldwin effect - это просто эмпирически наблюдаемые закономерности, так что с ними вроде бы никаких проблем нет. Что же касается остального бардака, то чему же здесь удивляться, ведь естествознание унаследовало свою терминологию от схоластического богословия? Вот и расхлебываем теперь :)

[greygreengo.livejournal.com]

Постулат — единственный односложный синоним к слову математическая гипотеза.

[egovoru.livejournal.com]

Разве? Насколько я понимаю, постулат - это то же самое, что и аксиома, то есть, утверждение, принимаемое верным без доказательства.

[skogar.livejournal.com]

Терминология складывается во многом стихийно, при этом возникают и устойчивые выражения. То, что устоялось, уже трудно сдвинуть реформами, да и незачем.

Здесь обсуждаются синонимы, может быть иногда указывающие на какие-то смысловые оттенки, но не более того. Математики понимают, где как надо, и не жалуются, насколько я знаю.

[egovoru.livejournal.com]

Проблема в том, что термины, имеющие в одной области знания одно значение, в другой имеют совершенно другое, и это может запутывать тех, кто по долгу службы или из любопытства пытается ознакомиться с несколькими областями. Ну и потом ведь словоупотребление "стихийно складывается" именно в результате суммирования предпочтений конкретных людей - в том числе и нас с Вами, правда?

[vlkamov.livejournal.com]

Навязать миллионам людей новый термин вместо массово используемого привычного тоже требует усилий. Не факт, что меньше, чем знать контекст.

[egovoru.livejournal.com]

А почему Вы решили, что я собираюсь кому-то что-то навязывать? Я же, наоборот, спрашиваю тут мнение читателей? Вот Вы, например, ответили на мой вопрос или нет? А то из нескольких сотен, прочитавший пост, на мой вопрос ответили только единицы :)

[serge no (from livejournal.com)]

Варианты ответов в этом опросе на самом деле относятся к двум разным вопросам (и ещё один вариант, следующий из логичного связующего вопроса, пропущен). Нужно ли особое слово для обозначения бездоказательной математической идеи, вместо существующего зоопарка? [Какое слово для этого наиболее подходит?] Если это слово — conjecture, то в какой форме оно лучше звучит по-русски?
Ну, это уже привычная, общепринятая практика — составлять опросы так, что бы их результаты можно было интерпретировать как угодно, т.е. никак, потому что опрашиваемые неявно отвечают на разные вопросы.

[egovoru.livejournal.com]

Принимаю Вашу критику, но теперь уже поздно переделывать формулировку опроса. Не исключено, что неудачная формулировка и послужила причиной того, что из нескольких сотен человек, прочитавших пост, в опросе поучаствовали только единицы.