Round 5: Tossup 20

In 2007, Alex Smith won a 25,000-dollar prize for showing that a system denoted (2, 3) has a “weak” form of this property. Alan Perlis coined a term referring to systems with this property that are nonetheless not very useful as “tarpits.” In 2004, Matthew Cook (10[1])demonstrated that Rule 110 has this property, thus showing elementary cellular automata can have it. In 2019, Alex Churchill showed that the game Magic: the Gathering (10[2])has this property. (10[3])Tom Wildenhain once jokingly demonstrated that Microsoft PowerPoint does in fact have (10[1])this property. Given infinite memory, most (-5[1])programming languages, like Python and Java, have this property. A system that can compute any computable function has, for 10 points, what property of systems that are equivalent to a head that reads and writes symbols on an infinite tape? (0[1])■END■

ANSWER: Turing-completeness [or computational universality; accept weak-universality; accept answers specifying that it is a Turing machine or that it can simulate a Turing machine; reject “computable” or “computability”]
<GC, Other Science> | Packet N - Simon Fraser A, Carleton A, Georgia Tech A, Claremont A, Warwick A, Columbia B
= Average correct buzzpoint

Back to tossups