1943 – † 1996) fue un filósofo especializado en lógica y filosofía de las matemáticas.