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



Выдержка из книги Гильберт Д.N. Основания математики


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

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

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

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