Статья 326

Объект, решающий задачу, сопоставленную, называется реализацией это будем обозначать он.
Центральным моментом конструктивного понимания логических формул является интерпретация импликации. Конструктивную импликацию, в отличие от классической, будем обозначать. Выражение понимается как требование построить эффективное преобразование, применимое ко всем реализациям и перерабатывающее их в реализации.
Интерпретация Колмогорова нестрога, хотя и сформулирована в математических терминах. Он не уточнил, каковы классы объектов, являющихся реализациями в частности, каковы классы эффективных преобразований в интерпретации, на каком языке формулируются требования к реализациям и как проводится доказательство того, что они. Это было неизбежно, так как в начале 30-х годов еще не сформировалось ни понятие алгоритма, ни общее понятие исчисления.