Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Gentzen inventó una "deducción natural", que proporciona una lógica más cerca de razonamiento matemático de los sistemas propuestos por Frege, Russell y Hilbert.