Algorithms and Complexity in Mathematics, Epistemology, and Science