Die Fähigkeit, Listen von Anweisungen namens Programme zu speichern und auszuführen, macht Computer extrem vielseitig, indem sie sie von Taschenrechner unterscheiden. Die Kirche-Turing-Thesis ist eine mathematische Aussage dieser Vielseitigkeit: Jeder Computer mit einer minimalen Fähigkeit (Turing-vollständig) ist grundsätzlich in der Lage, die gleichen Aufgaben zu erfüllen, die jeder andere Computer ausführen kann. Daher ist jede Art von Computer (Netbook, Supercomputer, zelluläre, etc.) in der Lage, die gleichen Computational Aufgaben zu erfüllen, angesichts genug Zeit und Speicherkapazität.
Die mathematische Aussage von Computer-Vielseitigkeit ist bekannt als was?
Die Kirche-Turing-Thesis