Pure Math Grad Colloquium

Christine Eagles, Department of Pure Mathematics, University of Waterloo

"BABA HAS PROOF"

Who is Baba? Baba is You is a puzzle game that revolves around rearranging words to produce different game rules. A common difficulty in the game is to figure out which arrangement produces a valid rule. We introduce a framework to test if a string of words is a valid game command. This framework is a simple application of well known tools which linguists will recognize as categorial grammar, computational algebraists will recognize as pregroups, and logicians will recognize as sequent calculus in proof theory.

MC 5479