| CODE | 61711 |
|---|---|
| ACADEMIC YEAR | 2018/2019 |
| CREDITS | 8 credits during the 2nd year of 9011 Mathematics (LM-40) GENOVA |
| SCIENTIFIC DISCIPLINARY SECTOR | MAT/01 |
| LANGUAGE | Italian (English on demand) |
| TEACHING LOCATION | GENOVA (Mathematics) |
| SEMESTER | 1° Semester |
| TEACHING MATERIALS | AULAWEB |
Language: English
Deepen some arguments of demonstration theory.
Teaching style: In presence
a) A proof of Gödel’s incompleteness theorem: computability and the theory of recursive functions, proof of the incompleteness theorem with an analysis of its consequences.
b) Mathematical proofs and formal proofs. Introduction to proof-theory. Gentzen’s natural deduction and the sequent calculus. The normalization theorem and the cut-elimination theorem.
c) Foundations revisited and analysis of the relevance for the teaching of mathematics.
GIUSEPPE ROSOLINI (President)
RICCARDO CAMERLO
RUGGERO PAGNAN
Teaching style: In presence
The class will start according to the academic calendar.
Oral.
| Date | Time | Location | Type | Notes |
|---|---|---|---|---|
| 07/01/2019 | 09:00 | GENOVA | Orale | |
| 23/01/2019 | 09:00 | GENOVA | Orale | |
| 08/02/2019 | 09:00 | GENOVA | Orale | |
| 03/06/2019 | 09:00 | GENOVA | Orale | |
| 21/06/2019 | 09:00 | GENOVA | Orale | |
| 10/07/2019 | 09:00 | GENOVA | Orale | |
| 02/09/2019 | 09:00 | GENOVA | Orale |