Обсуждение:Теорема о дедукции

Статью, конечно, надо переделывать. Теорему о дедукции никто не называет теоремой Эрбрана. В частности в книге Клини [1973], на которую идет ссылка как на АИ, теоремой Эрбрана (параграф 55) названа совершенно другая теорема, та, на которую, собственно, и стоит кросс-ссылка в английскую википедию. --Deniok (обс.) 18:48, 9 апреля 2017 (UTC)

• По-видимому, вы правы. Переименовал статью. — Алексей Копылов 02:46, 10 апреля 2017 (UTC)

Предложение о ещё одном переименовании

Считаю, что надо сменить на "Теорема дедукции". Так её называют в литературе (например, в Мендельсоне). Singul (обс.) 16:53, 1 апреля 2018 (UTC)

• Употребляются оба названия (гугол букс находит 450 ""Теорема дедукции" и 220 "Теорема о дедукции"). Но Чагров про эти названия говорит: "Не считая разницу принципиальной, всё таки поясню, что слово теорема означает утверждение (имеющее доказательство, разумеется), а в данном случае теорема о дедукции утверждает не столько дедукцию, сколько нечто о дедукции." [1]. Я с ним тут согласен. Поэтому я скорее против переименования. Но добавил второй термин и создал перенаправления. — Алексей Копылов 06:35, 2 апреля 2018 (UTC)

Да, хорошо. Оставляем. Я настолько глубоко в этот вопрос не вникал. --Singul (обс.) 15:56, 2 апреля 2018 (UTC)