CODE 61711 ACADEMIC YEAR 2017/2018 CREDITS 8 cfu anno 2 MATEMATICA 9011 (LM-40) - SCIENTIFIC DISCIPLINARY SECTOR MAT/01 LANGUAGE Italian (English on demand) TEACHING LOCATION 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) 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 08/01/2018 09:00 GENOVA Orale 24/01/2018 09:00 GENOVA Orale 09/02/2018 09:00 GENOVA Orale 04/06/2018 09:00 GENOVA Orale 22/06/2018 09:00 GENOVA Orale 11/07/2018 09:00 GENOVA Orale 03/09/2018 09:00 GENOVA Orale
