From HomoExcelsior

The assumption that an intelligent machine can be built, at least in principle. Some versions of the postulate are more narrow, and say that intelligence is computable on Turing machines (i.e. the mind is a program). This essentially means that intelligence is only dependent on pattern, not its material basis.

---