Bitte aktivieren Sie Javascript in Ihrem Browser
Mediathek
Start
(current)
Kanäle
Tags
Charts
Nicht eingeloggt (
Login
)
Lecture 1 -- Monday, 13th of April
Leertaste
= Abspielen/Pausieren
m
= Stumm
f
= Vollbild (Fullscreen)
Tashi Walde
Lecture 1 -- Monday, 13th of April
Introduction:
What is a formal system?
First order logic + ZFC and its drawbacks
What is equality?
Goal for the course
HoTT 2026