Salta al contenuto principale della pagina

MATHEMATICAL LOGIC 2

CODE 61711
ACADEMIC YEAR 2018/2019
CREDITS 8 credits during the 2nd year of 9011 Mathematics (LM-40) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR MAT/01
LANGUAGE Italian (English on demand)
TEACHING LOCATION GENOVA (Mathematics)
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

Exam Board

GIUSEPPE ROSOLINI (President)

RICCARDO CAMERLO

RUGGERO PAGNAN

LESSONS

TEACHING METHODS

Teaching style: In presence

LESSONS START

The class will start according to the academic calendar.

Class schedule

MATHEMATICAL LOGIC 2

EXAMS

EXAM DESCRIPTION

Oral.

Exam schedule

Date Time Location Type Notes
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