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: 2019/2020

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

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
LOGIC
Course year: 3 First cycle degree (DM 270) STUDIES IN LITERATURE AND PHILOSOPHY A.Y. 2015/2016

Completion accademic year: 2016/2017

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

Completion accademic year: 2015/2016

LOGIC AND LIMITS OF FORMAL SYSTEMS/LS
Course year: 1 Second cycle degree (Laurea Magistrale) MATHEMATICS A.Y. 2015/2016
LOGIC AND PHILOSOPHY OF SCIENCE
Course year: 1 First cycle degree (DM 270) BIOMEDICAL LABORATORY TECHNIQUES A.Y. 2015/2016

Completion accademic year: 2014/2015

LOGIC AND PHILOSOPHY OF SCIENCE
Course year: 1 First cycle degree (DM 270) BIOMEDICAL LABORATORY TECHNIQUES A.Y. 2014/2015

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