Mariami Gamsakhurdia & Stella Mahler
Start:
End:
Monday, 24.8. 10:00
Wednesday, 26.8. 14:15
What is a proof, really? And what does it have to do with writing a computer program?
In this course, we explore the basics of logic and discover how mathematicians decide what counts as “true.” You’ll see that there isn’t just one kind of logic: in classical logic, something is either true or false, but in intuitionistic logic things become more complicated.
We’ll learn what formal proofs look like, step by step, and how they behave like objects you can work with. Along the way, you’ll discover a surprising idea: proving something can be very similar to writing a program. This connection, known as the Curry–Howard correspondence, reveals that proofs and programs are, in a sense, the same thing.
No prior experience with logic is needed – just curiosity and a willingness to think in new ways. By the end, you’ll have a new perspective on both mathematics and programming and how deeply they are connected.