Church's thesis and the ideal of informal rigour
A substantial general discussion of methodological questions illustrated (although less extensive than in other papers by the author) by results in mathematical logic.
scientific article; zbMATH DE number 4053557