- финитная общезначимость
- мат. finitary validity
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ФИНИТНАЯ ОБЩЕЗНАЧИМОСТЬ — одна из не классич. интерпретаций логич. формул, предложенная с целью уточнения выдвинутой А. Н. Колмогоровым программы истолкования интуиционистской логики . высказываний как исчисления задач. А. Н. Колмогоров высказал [1] идею, что наряду с… … Математическая энциклопедия
ФИНИТНАЯ ЗАДАЧА — см. Финитная общезначимость … Математическая энциклопедия