vai al contenuto della pagina vai al menu di navigazione
 

ISA Medal 2007 a Dag Prawitz

Il Rettore dell'Università di Bologna, consegnerà la ISA Medal for Science, la massima onorificienza dell'Istituto di Studi Avanzati, al prof Dag Prawitz.

Apr 04, 2007 from 12:00 AM to 12:00 AM

Where Aula Magna della Biblioteca Universitaria

Add to your calendar

Dag Prawitz

è un logico svedese fra i più eminenti nella sua disciplina. Già la sua pubblicazione del 1965 Natural deduction. A Proof-Theoretic Study è una pietra miliare per gli studi di teoria della dimostrazione e da allora punto di riferimento costante per ogni sviluppo e raffinamento ulteriore di quel settore. Ovvio dire che si tratta di un settore, se non del settore, fondamentale per la logica.

Prawitz è artefice dei cosiddetti teoremi di normalizzazione che hanno conseguenze importanti per i fondamenti della matematica ed applicazioni anche in informatica teorica. Il suo nome è inoltre legato alla teoria generale della dimostrazione.

Temi centrali della filosofia della logica e della filosofia del linguaggio sono stati affrontati da Dag Prawitz nella sua ricerca: significato, verità, conseguenza logica, verificazionismo, realismo e anti-realismo. il suo approccio a questi problemi ha gettato nuova luce ed ha dato luogo a nuove proposte.

E' membro della Reale Accademia delle Scienze Svedese.

Highlights

ISA Medal for Sciences
For research activities characterized by excellence and scientific value.
Prof. Dag Prawitz's profile

Downloads