PIANIGIANI DUCCIO

Duccio
Pianigiani
Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche
Ricercatore universitario

Orari di ricevimento

  • Giovedi' dalle 11:00 alle 13:00
    Luogo: stanza docente 215
    Nota: a causa delle frequenti variazioni dell'orario dei corsi, anche l'orario di ricevimento è soggetto a variazioni. In caso di esigenze diverse, basta concordare il ricevimento per e-mail o per telefono.

Contatti

duccio.pianigiani@unisi.it
0577233701 [int.3701]
Lezioni a distanza

Curriculum Vitae

cv

Attività didattica

Le lezioni si svolgeranno esclusivamente in presenza: le videoregistrazioni complete relative ai due anni precedenti sono comunque disponibili su Moodle alla pagina del corso, assieme lecture notes e slides relative a tutte le lezioni.

ANNO ACCADEMICO DI ESPLETAMENTO: 2025/2026

FORMAL SYSTEMS
Anno di corso: 2 Corso di Laurea Magistrale APPLIED MATHEMATICS A.A. 2024/2025

ANNO ACCADEMICO DI ESPLETAMENTO: 2024/2025

FORMAL SYSTEMS
Anno di corso: 2 Corso di Laurea Magistrale APPLIED MATHEMATICS - MATEMATICA APPLICATA A.A. 2023/2024
LOGICA
Anno di corso: 3 Laurea triennale (DM 270) STUDI LETTERARI E FILOSOFICI A.A. 2022/2023

ANNO ACCADEMICO DI ESPLETAMENTO: 2023/2024

FORMAL SYSTEMS
Anno di corso: 2 Corso di Laurea Magistrale APPLIED MATHEMATICS - MATEMATICA APPLICATA A.A. 2022/2023
LOGICA
Anno di corso: 3 Laurea triennale (DM 270) STUDI LETTERARI E FILOSOFICI A.A. 2021/2022

ANNO ACCADEMICO DI ESPLETAMENTO: 2022/2023

FORMAL SYSTEMS
Anno di corso: 2 Corso di Laurea Magistrale APPLIED MATHEMATICS - MATEMATICA APPLICATA A.A. 2021/2022
LOGICA
Anno di corso: 3 Laurea triennale (DM 270) STUDI LETTERARI E FILOSOFICI A.A. 2020/2021

ANNO ACCADEMICO DI ESPLETAMENTO: 2021/2022

FORMAL SYSTEMS
Anno di corso: 2 Corso di Laurea Magistrale APPLIED MATHEMATICS - MATEMATICA APPLICATA A.A. 2020/2021
LOGICA
Anno di corso: 3 Laurea triennale (DM 270) STUDI LETTERARI E FILOSOFICI A.A. 2019/2020

ANNO ACCADEMICO DI ESPLETAMENTO: 2020/2021

FILOSOFIA
Anno di corso: 1 Corso di Laurea Magistrale ANTROPOLOGIA E LINGUAGGI DELL'IMMAGINE A.A. 2020/2021

Iscrizione agli esami

Attività di ricerca

Il volume D. Pianigiani. "Lectures in Proof-Theory and Complexity" (Firenze University Press - USiena Press FU) è liberamente scaricabile qui  https://books.fupress.com/isbn/9791221507782.

 

 

Ultime pubblicazioni:

  • Pianigiani, D. (2025). Lectures in Proof Theory and Complexity. Firenze : Firenze University Press [10.36253/979-12-215-0778-2]. - dettaglio
  • Pianigiani, D., Sorbi, A. (2021). A note on uniform density in weak arithmetical theories. ARCHIVE FOR MATHEMATICAL LOGIC, 60(1-2), 211-225 [10.1007/s00153-020-00741-8]. - dettaglio
  • Amidei, J., Andrews, U., Pianigiani, D., San Mauro, L., Sorbi, A. (2019). Trial and error mathematics: dialectical systems and completions of theories. JOURNAL OF LOGIC AND COMPUTATION, 29(1), 157-184 [10.1093/logcom/exy033]. - dettaglio
  • Amidei, J., Pianigiani, D. (2016). Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari. MATEMATICA, CULTURA E SOCIETÀ, 1(2), 145-159. - dettaglio
  • Amidei, J., Pianigiani, D., San Mauro, L., Sorbi, A. (2016). Trial and error mathematics II: dialectical sets and quasi-dialectical sets, their degrees, and their distribution within the class of limit sets. THE REVIEW OF SYMBOLIC LOGIC, 9(4), 810-835 [10.1017/S1755020316000253]. - dettaglio
Tutte le pubblicazioni