CODE 90705 ACADEMIC YEAR 2016/2017 CREDITS 7 cfu anno 1 MATEMATICA 9011 (LM-40) - 7 cfu anno 3 MATEMATICA 8760 (L-35) - SCIENTIFIC DISCIPLINARY SECTOR MAT/01 LANGUAGE Italiano TEACHING LOCATION SEMESTER 2° Semester TEACHING MATERIALS AULAWEB OVERVIEW Language: Italian AIMS AND CONTENT TEACHING METHODS Teaching style: In presence SYLLABUS/CONTENT Logic for the mathematical practice. Formal theories and the deduction calculi. Type theory. The problem of consistency. First order number theory. Recursive functions. The incompleteness theorems. Hilbert tenth problem and its solution. RECOMMENDED READING/BIBLIOGRAPHY Course notes. TEACHERS AND EXAM BOARD GIUSEPPE ROSOLINI Exam Board GIUSEPPE ROSOLINI (President) MARCO BORGA LESSONS LESSONS START February 27, 2017 Class schedule MATHEMATICAL LOGIC 1 EXAMS Exam schedule Data appello Orario Luogo Degree type Note 05/06/2017 09:00 GENOVA Orale 29/06/2017 09:00 GENOVA Orale 20/07/2017 09:00 GENOVA Orale 04/09/2017 09:00 GENOVA Orale 20/09/2017 09:00 GENOVA Orale