Can we always mathematically formalise our taste
and preferences? We discuss how this has been done
historically in the field of game theory, and how recent
ideas from logic and computer science have brought
an interesting twist to this beautiful theory.