Round 8: 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 demonstrated that Rule 110 (10[1])has this property, thus showing elementary cellular automata can have it. (10[1])In 2019, Alex Churchill showed that the game Magic: the Gathering (10[1])has this property. (10[5])Tom Wildenhain once jokingly (-5[1])demonstrated that Microsoft PowerPoint does in fact (10[1])have this property. (-5[1])Given infinite memory, most 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