Lorenzen, Paul

logico tedesco (Kiel 1915-Gottinga 1994). Esponente del costruttivismo logico, gli si deve una trattazione costruttivista della metamatematica. Ha dato contributi all'algebra della logica, alla teoria dell'implicazione e al problema della consistenza della teoria dei numeri. A Lorenzen si deve una dimostrazione della coerenza della teoria ramificata dei tipi.