Выдержка из книги
Гильберт Д.N.
Основания математики
Факт переноса вычисления в дедуктивный формализм сам по себе еще не обязательно дает какое-либо пригодное для применений уточнение понятия вычислимости, если не потребовать, чтобы оперирование с выражениями происходило в этом формализме по четко описанным правилам.