Paul Lorenzen è stato un filosofo e matematico tedesco, cofondatore della Scuola costruttivista di Erlangen e inventore della semantica dei giochi.
