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)
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)
Applications of Set Theory in Algebra and in Topology
Lecture: Mi, 12-14h, SR 127, Ernst-Zermelo-Str. 1
Teacher: Maxwell Levine
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Seminar: Differentialtopologie
Di, 12-14h, SR 404, Ernst-Zermelo-Str. 1
Teacher: Christian Ketterer
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Lecture: Do, 14-16h, SR 404, Ernst-Zermelo-Str. 1
Teacher: Maxwell Levine
Assistant: Maxwell Levine
general:
Proseminar: Lineare Darstellungen endlicher Gruppen
Di, 16-18h, SR 125, Ernst-Zermelo-Str. 1
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Undergraduate Seminar (2HfB21, BSc21, MEH21, MEB21)
Seminar: Kryptographie
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Nonstandard Models of Peano Arithmetic
Lecture: Mi, 14-16h, SR 125, Ernst-Zermelo-Str. 1
Teacher: Maxwell Levine
general:
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Mo, 14-16h, SR 404, Ernst-Zermelo-Str. 1
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Supplementary Module in Mathematics (MEd18)
Compulsory Elective in Mathematics (BSc21)
Seminar: Knotentheorie
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Mathematische Logik
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
general:
Pure Mathematics (MSc14)
Mathematical Concentration (MEd18, MEH21)
Compulsory Elective in Mathematics (BSc21)
Large Cardinals in Set Theory
Lecture: Do, 14-16h, , online
Teacher: Maxwell Levine
Assistant: Christian Bräuninger
general:
Supplementary Module in Mathematics (MEd18)
Compulsory Elective in Mathematics (BSc21)
Seminar: Ramsey-Theorie
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Supplementary Module in Mathematics (MEd18)
Compulsory Elective in Mathematics (BSc21)