Rather, he regarded the notion of "effective calculability" as merely a "working hypothesis" that might lead by inductive reasoning to a "natural law" rather than by "a definition or an axiom".
Скорее, он считал понятие «эффективной вычислимости» просто «рабочей гипотезой», которая могла бы привести индуктивным умозаключением к «естественному закону», а не «определению или аксиоме».