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