UTokyo Open Lecture series aims to directly communicate outcomes of our academic research to a larger audience.The theme of the 131th lecture is Logic.

Computation is realized by the combination of logical operations on truth values. From a higher viewpoint, you can find that the "programs" describing the calculation and the "proofs" in formulas are inseparable from each other. This lecture helps you glimpse the profound relationships between computation and logic.

NOTE:
- This lecture was conducted only in Japanese.