CODE 61711 ACADEMIC YEAR 2018/2019 CREDITS 8 cfu anno 2 MATEMATICA 9011 (LM-40) - GENOVA SCIENTIFIC DISCIPLINARY SECTOR MAT/01 LANGUAGE Italian (English on demand) TEACHING LOCATION GENOVA SEMESTER 1° Semester TEACHING MATERIALS AULAWEB OVERVIEW Language: English AIMS AND CONTENT LEARNING OUTCOMES Deepen some arguments of demonstration theory. TEACHING METHODS Teaching style: In presence SYLLABUS/CONTENT 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. TEACHERS AND EXAM BOARD GIUSEPPE ROSOLINI Exam Board GIUSEPPE ROSOLINI (President) RICCARDO CAMERLO RUGGERO PAGNAN LESSONS LESSONS START The class will start according to the academic calendar. Class schedule MATHEMATICAL LOGIC 2 EXAMS EXAM DESCRIPTION Oral. Exam schedule Data appello Orario Luogo Degree type Note 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