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



Выдержка из книги Курош А.Г. Сборник статей


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

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

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

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