Its interesting seeing the gulf between the philosophers and the computer scientists. I think your average philosopher would enjoy a trip down the rabbit hole of automata theory and the hierarchy of things that can emulate lower levels things vs things that look different but are at the same computational level. Watching a non-CS philosopher rub a NFA up against a CFG, for example, would be interesting. What would Marx say about the assumptions of a DPDA wrt the labor theory of value (or anything else interesting?)