Abstract:This essay's content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. -2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon -3. Contributions of the secondorder logic to the problems of solvability -4. The infinite progress of science in the light of Turing's idea of the oracle. The term "oracle" is a technical counterpart of the notion of mathematical intuition.A more detailed summary can be obtained through juxtapo… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.