Ang ideya ni Turing ng mga pangkalahatang makinang Turing ay kakaiba dahil ang ideya ng mga gayung makina ay may kakayahang gawin ang anumang gawin ng ibang makina , samakatuwid ay may kakayahang magkuwenta ng anumang pwedeng ikwenta.
