Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

[Разрешимая Теория]
аЧ теория, для которой существует эфнфективная процедура (алгоритм), позволяющая о каждом утвержденнии, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Ненразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедукнтивная теория, содержащая арифметику.

Вернуться в раздел Эзотерические и восточные энциклопедии.