Claims that any calculation that is possible can be performed by an algorithm running on a computer, provided that sufficient time and storage space are available.