Duccio Pianigiani

 FUP Scientific Cloud in cifre

    • Monografia

    Lectures in Proof Theory and Complexity

    Duccio Pianigiani

    Anno di copyright: 2025

    • Capitolo

    Table of contents

    • Duccio Pianigiani

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

    • Capitolo

    Introduction

    • Duccio Pianigiani

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

    • Capitolo

    From decidability to feasibility

    • Duccio Pianigiani

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

    • Capitolo

    Abstract views of incompleteness

    • Duccio Pianigiani

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

    • Capitolo

    Church’s formal system of lambda-calculus

    • Duccio Pianigiani

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

    • Capitolo

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

    • Duccio Pianigiani

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

    • Capitolo

    Second incompleteness theorem: research developments and consequences

    • Duccio Pianigiani

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

    • Capitolo

    Independent sentences of mathematical character

    • Duccio Pianigiani

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

    • Capitolo

    Sequent calculus and complexity theory

    • Duccio Pianigiani

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

    • Capitolo

    Random sequences, incompleteness and information

    • Duccio Pianigiani

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

    • Capitolo

    Key concepts

    • Duccio Pianigiani

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