PIANIGIANI DUCCIO

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

Office hours

  • Thursday from 11:00 to 13:00
    Place: stanza docente 215
    Note: 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.

Contacts

duccio.pianigiani@unisi.it
0577233701 [int.3701]
live lessons

Curriculum Vitae

cv

Teaching activities

The lessons will take place exclusively in person: the complete video recordings relating to the previous two years are however available on Moodle on the course page, together with lecture notes and slides relating to all the lessons.

For remote contacts with the teacher it will still be possible to use https://docenti.unisi.it/it/pianigiani

Completion accademic year: 2021/2022

LOGIC
Course year: 3 First cycle degree (DM 270) STUDIES IN LITERATURE AND PHILOSOPHY A.Y. 2019/2020

Completion accademic year: 2020/2021

FORMAL SYSTEMS
Course year: 2 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2019/2020
LOGIC
Course year: 3 First cycle degree (DM 270) STUDIES IN LITERATURE AND PHILOSOPHY A.Y. 2018/2019
PHILOSOPHY
Course year: 1 Second cycle degree (Laurea Magistrale) ANTHROPOLOGY AND VISUAL STUDIES A.Y. 2020/2021

Completion accademic year: 2019/2020

FORMAL SYSTEMS
Course year: 2 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2018/2019
LOGIC
Course year: 3 First cycle degree (DM 270) STUDIES IN LITERATURE AND PHILOSOPHY A.Y. 2017/2018
PHILOSOPHY
Course year: 1 Second cycle degree (Laurea Magistrale) ANTHROPOLOGY AND VISUAL STUDIES A.Y. 2019/2020

Completion accademic year: 2018/2019

FORMAL SYSTEMS
Course year: 2 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2017/2018
LOGIC
Course year: 3 First cycle degree (DM 270) STUDIES IN LITERATURE AND PHILOSOPHY A.Y. 2016/2017

Completion accademic year: 2017/2018

FORMAL SYSTEMS
Course year: 2 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2016/2017

Registration for exams

Research

You can download  the book D. Pianigiani. "Lectures in Proof-Theory and Complexity" (Firenze University Press- USiena FU press) here  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]. - view more
  • 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]. - view more
  • 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]. - view more
  • Amidei, J., Pianigiani, D. (2016). Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari. MATEMATICA, CULTURA E SOCIETÀ, 1(2), 145-159. - view more
  • 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]. - view more
All publications