Duccio Pianigiani

 FUP Scientific Cloud in Numbers

    • Monograph

    Lectures in Proof Theory and Complexity

    Duccio Pianigiani

    Copyright year: 2025

    • Book Chapter

    Table of contents

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Introduction

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    From decidability to feasibility

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Abstract views of incompleteness

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Church’s formal system of lambda-calculus

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    First and second Gödel’s theorems and related results

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Second incompleteness theorem: research developments and consequences

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Independent sentences of mathematical character

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Sequent calculus and complexity theory

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Random sequences, incompleteness and information

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena

    • Book Chapter

    Key concepts

    • Duccio Pianigiani

    Contained in: UNIverSI. Ricerca e Didattica all’Università di Siena