Mason Cooley

Undecidability is a useful category even in dealing with restaurant menus.