He once devised a shadow-puppet musical about Jackson Pollock, and wrote a play called Seventeenth Night about the theorems of Kurt Godel.