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