Charles Chihara’s research while affiliated with University of California, Berkeley and other places

... Church's Theorem explicitly, objectively and completely puts an end to the Leibnizean dream of a logical calculus, of an automatic, autonomous decision method by which the truths of mathematics can be identified. This result is less open to debate than Hintikka's proposals in that this interpretation of Church's Theorem as well as the fonnal explications of the notions of decidability and computability are very widely accepted (see Berg andChihara 1975 andRoss 1974 for some recent discussion of Church's Thesis). ...

Reference:

Church’s theorem and the analytic-synthetic distinction in mathematics