ТЕЗИС

(лат. thesis — положение, утверждение) — 1) в широком смысле любое утверждение, предложенное для доказательства, отстаиваемое при изложении некоторой концепции или теории, или просто в споре (напр., в средневековых диспутах на ученые степени в университетах). Такое толкование термина «тезис» закрепилось и в логике, поскольку логика издавна считалась рабочим инструментом в искусстве спора (диалектике).

В дедуктивных теориях, когда логические средства доказательства строго фиксированы, тезисы обычно противопоставляются постулатам и аксиомам этих теорий. При этом они представляют собой некоторую проблему для логики, решение которой состоит в поиске вывода или доказательства тезисов (на основе понятий и средств данной теории), что позволило бы перевести их из класса (обсуждаемых) гипотез в класс теорем данной теории. В этом смысле термин «тезис» нередко используется как синоним термина «теорема»; 2) в узком смысле в тех же дедуктивных теориях тезисами называют утверждения, которые, оставаясь вне рамок самой дедуктивной теории, не являясь выводимыми или доказуемыми в этих теориях (теоремами этих теорий) и не будучи строго формальными, тем не менее полезны для понимания истинной роли вполне строгих (формализуемых) понятий этих теорий. По отношению к понятию «алгоритм» таков, по-видимому, «тезис Чёрча» о совпадении класса алгоритмически вычислимых частичных числовых функций с классом всех частично рекурсивных функций или принцип нормализации Маркова («тезис Маркова»), фактически представляющий собой «вариант тезиса Чёрча, относящийся к нормальным алгорифмам» (Марков А. А., Нагорный Н. М. Теория алгорифмов. М., 1984,§ 27).

M. M Новосёлов