Paul Lorenzen was a German philosopher and mathematician, founder of the Erlangen School and inventor of game semantics.