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]

Teaching activities

Completion accademic year: 2025/2026

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

Completion accademic year: 2024/2025

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

Completion accademic year: 2023/2024

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

Completion accademic year: 2022/2023

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

Completion accademic year: 2021/2022

FORMAL SYSTEMS
Course year: 2 Second cycle degree (Laurea Magistrale) APPLIED MATHEMATICS A.Y. 2020/2021
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

Registration for exams

Research

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., 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
  • 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
All publications