CODE 61711 ACADEMIC YEAR 2016/2017 CREDITS 6 cfu anno 2 MATEMATICA 9011 (LM-40) - 6 cfu anno 2 INFORMATICA 9014 (LM-18) - SCIENTIFIC DISCIPLINARY SECTOR MAT/01 LANGUAGE Italiano (Inglese a richiesta) TEACHING LOCATION SEMESTER 1° Semester TEACHING MATERIALS AULAWEB OVERVIEW Language: English AIMS AND CONTENT 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) MARCO BORGA LESSONS LESSONS START September 26, 2016 Class schedule MATHEMATICAL LOGIC 2 EXAMS Exam schedule Data appello Orario Luogo Degree type Note 05/06/2017 09:00 GENOVA Orale 06/06/2017 09:00 GENOVA Orale 19/06/2017 09:00 GENOVA Orale 23/06/2017 09:00 GENOVA Orale 06/07/2017 09:00 GENOVA Orale 12/07/2017 09:00 GENOVA Orale 04/09/2017 09:00 GENOVA Orale 14/09/2017 09:00 GENOVA Orale
