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".Post 1936 in Davis 1952:291. This idea was "sharply" criticized by Church.Sieg 1997:171 and 176–177.
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".Post 1936 in Davis 1952:291. This idea w,as "sharply" criticized by Church.Sieg 1997:171 and 176–177.