В такой формальной аксиоматической теории оказывается эффективным и понятие доказательства; иными словами, в такой теории ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Столл Р.Р. Множества Логистика Аксиоматические теории


В такой формальной аксиоматической теории оказывается эффективным и понятие доказательства; иными словами, в такой теории имеется эффективная пррцедура, позволяющая для произвольной конечной последовательности формул решить, является ли она доказательством. Но если нам уже предъявлена некоторая последовательность формул, являющаяся по предположению доказательством, то эта эффективная процедура позволяет подтвердить ( или отклонить) это предположение.

(cкачать страницу)

Смотреть книгу на libgen

В такой формальной аксиоматической теории оказывается эффективным и понятие доказательства;  иными словами,  в такой теории имеется эффективная пррцедура,  позволяющая для произвольной конечной последовательности формул решить,  является ли она доказательством.  Но если нам уже предъявлена некоторая последовательность формул,  являющаяся по предположению доказательством,  то эта эффективная процедура позволяет подтвердить ( или отклонить) это предположение.