Advanced course in foundations of mathematics (2015/2016)

Course code
4S001104
Credits
6
Coordinator
Peter Michael Schuster
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
English
Teaching is organised as follows:
Activity Credits Period Academic staff
Teoria 1 3 II semestre Riccardo Bruni
Teoria 3 II semestre Peter Michael Schuster

Lesson timetable

II semestre
Activity Day Time Type Place Note
Teoria 1 Monday 2:30 PM - 4:30 PM lesson Laboratory Laboratorio Ciberfisico from May 9, 2016  to Jun 10, 2016
Teoria 1 Tuesday 8:30 AM - 11:30 AM lesson Lecture Hall M from May 10, 2016  to Jun 10, 2016
Teoria Tuesday 8:30 AM - 11:30 AM lesson Lecture Hall M from Mar 31, 2016  to May 3, 2016
Teoria Wednesday 10:30 AM - 12:30 PM lesson Lecture Hall M from Mar 31, 2016  to May 4, 2016

Learning outcomes

The aim of the course is to provide the student with a more profound knowledge of the foundations of mathematics, from a mathematical perspective.

Syllabus

Introduction to Zermelo-Fraenkel style axiomatic set theory, with attention to constructive aspects and transfinite methods (ordinal numbers, axiom of choice, etc.).

Gödel's incompleteness theorems and their repercussion on Hilbert's programme, with elements of computability theory (recursive functions and predicates, etc.).

Assessment methods and criteria

Written or oral examination, depending on the number of candidates who want to sit the exam.

Reference books
Activity Author Title Publisher Year ISBN Note
Teoria Torkel Franzén Gödel's Theorem: An Incomplete Guide to its Use and Abuse. A K Peters, Ltd. 2005 1-56881-238-8
Teoria Jon Barwise (ed.) Handbook of Mathematical Logic North-Holland 1977 0-444-86388-5 Mainly the chapter "The incompleteness theorems" by Craig Smorynski.
Teoria Riccardo Bruni Kurt Gödel, un profilo. Carocci 2015 9788843075133
Teoria Peter Aczel, Michael Rathjen Notes on Constructive Set Theory 2010 http://www1.maths.leeds.ac.uk/~rathjen/book.pdf
Teoria Yiannis N. Moschovakis Notes on Set Theory Springer 1994 978-1-4757-4155-1

Student opinions - 2015/2016


Statistics about transparency requirements (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistics
Outcomes Exams Outcomes Percentages Average Standard Deviation
Positive 25.0% 30 0
Rejected --
Absent 25.0%
Ritirati 50.0%
Canceled --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 100.0% 0.0%

Data from AA 2015/2016 based on 4 students. I valori in percentuale sono arrotondati al numero intero più vicino.