Dag Prawitz

Da Wikipedia, l'enciclopedia libera.

Controllo di autorità VIAF: 12407772 Dag Prawitz (Stoccolma, 1936) è un matematico e filosofo svedese.

Si è occupato in particolare di teoria della dimostrazione e di sistemi di deduzione naturale. Tra i risultati fondamentali, da lui dimostrati, vi è il teorema di normalizzazione, equivalente, nel calcolo della deduzione naturale, al teorema di eliminazione del taglio dimostrato da Gerhard Gentzen per il calcolo dei sequenti.

Si è occupato anche di filosofia della matematica, filosofia della logica e teoria del significato, facendo proprie, in modo spesso innovativo, alcune delle principali posizioni di Michael Dummett.