Basis of mathematics (2011/2012)

Course code
4S000958
Name of lecturer
Ruggero Ferro
Coordinator
Ruggero Ferro
Number of ECTS credits allocated
6
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Period
I semestre dal Oct 3, 2011 al Jan 31, 2012.

Lesson timetable

Learning outcomes

To develop a critical and conscious attitude towards different views of mathematics. Reasons for, analysis, and relevance of the mathematical notions.

Syllabus

Gödel's incompleteness theorems. Greek viewpoint of mathematics. Mathematics as a prototype of deductive science. The problem of infinity. First crisis of the foundations of mathematics. The problem of the consistency of theories. Reduction of a theory to another. Different viewpoints of mathematics: neo-platonic, logicist, formalist, constructivist. Second crisis of the foundations of mathematics. Effective computability. The problem of communicating mathematical concepts through the language. Beyond the language. How to capture and communicate concepts which are non definable through the language. The problems of objectivity, certainty and relevance of the mathematical knowledge.

Assessment methods and criteria

Oral