• Italiano
  • English

Department of Mathematics and Applications
"Renato Caccioppoli"


Mathematical Logic

Home > Courses  > Master’s Courses > Mathematical Logic

Mathematical Logic

Credits

6

Prerequisites

None.

Examination method

Passing an oral exam.

Learning
objectives

To revisit, with due rigour and the necessary awareness, the axiomatic approach already acquired, to move beyond the view of mathematics as a collection of computational rules, and to create tools with a high theoretical content. Critical knowledge of the methods and contents of Mathematical Logic.

Contents

Hilbert’s programme and limitative theorems of Classical Logic (Gödel’s Incompleteness Theorems). Elements of Recursion Theory.

Academic Year
2018/2019

Lecturer: Paola D’AQUINO.

Semester: second.