Model Theory
Lecture: Di, Do, 12-14h, SR 404, Ernst-Zermelo-Str. 1
The lecture will probably be held in English.
Teacher: Amador Martín Pizarro
Assistant: Charlotte Bartnick
Language: in English
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Pure Mathematics (MSc14)
Mathematics (MSc14)
Concentration Module (MSc14)
Elective (MSc14)
Elective (MScData24)
Machine Learning and Mathematical Logic
Lecture: Do, 14-16h, SR 226, Hermann-Herder-Str. 10
Tutorial: 2 hours, date to be determined
Teacher: Maxwell Levine
Language: in English
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Pure Mathematics (MSc14)
Mathematics (MSc14)
Concentration Module (MSc14)
Elective (MSc14)
Elective in Data (MScData24)
Undergraduate seminar: Graph Theroy
Seminar: Di, 16-18h, SR 127, Ernst-Zermelo-Str. 1
Preregistration:
Preliminary Meeting
Preparation meetings for talks: Dates by arrangement
Teacher: Heike Mildenberger
Assistant: Stefan Ludwig
Undergraduate Seminar (2HfB21, BSc21, MEH21, MEB21)
Lecture: Di, Do, 12-14h, HS II, Albertstr. 23b
Tutorial: 2 hours, date to be determined
28.07., 14:00-17:00
Teacher: Amador Martín Pizarro
Assistant: Stefan Ludwig
Language: in German
This introductory course in mathematical logic consists of several parts. It the basics of predicate logic and a brief introduction to model theory and the axiom system as well as the axiom system of set theory. The aim of the lecture is to explain the recursion-theoretical content of the predicate calculus, in particular the so-called Peano-arithmetic and Gödel's incompleteness theorems.
Basic knowledge of mathematics from first semester lectures
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Mathematical Concentration (MEd18, MEH21)
Pure Mathematics (MSc14)
Elective (MSc14)
Elective (MScData24)
Seminar: Di, 16-18h, SR 403, Ernst-Zermelo-Str. 1
Preliminary Meeting 29.01., 13:15, Raum 313, Ernst-Zermelo-Str. 1
Preparation meetings for talks: Dates by arrangement
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Language: Talk/participation possible in German and English
Set Theory
Elective (Option Area) (2HfB21)
Mathematical Seminar (BSc21)
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Mathematical Seminar (MSc14)
Elective (MSc14)
Elective (MScData24)
Set Theory – Independence Proofs
Lecture: Di, Do, 12-14h, SR 404, Ernst-Zermelo-Str. 1
Tutorial: 2 hours, date to be determined
Teacher: Maxwell Levine
Assistant: Hannes Jakob
Language: in English
How does one prove that something cannot be proved? More precisely, how does one prove that a particular statement does not follow from a particular collection of axioms?
These questions are often asked with respect to the axioms most commonly used by mathematicians: the axioms of Zermelo-Fraenkel set theory, or ZFC for short. In this course, we will develop the conceptual tools needed to understand independence proofs with respect to ZFC. On the way we will develop the theory of ordinal and cardinal numbers, the basics of inner model theory, and the method of forcing. In particular, we will show that Cantor's continuum hypothesis, the statement that \(2^{\aleph_0}=\aleph_1\), is independent of ZFC.
Required: Mathematical Logic
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Mathematical Concentration (MEd18, MEH21)
Pure Mathematics (MSc14)
Mathematics (MSc14)
Concentration Module (MSc14)
Elective (MSc14)
Elective (MScData24)