Formalizing Mathematics: Why and How

Speaker: Dr. Byung-Hak Hwang from KIAS

Abstract

Formalizing mathematics involves translating mathematical statements from natural language into a precise formal language that computers can understand. As modern mathematics becomes deeper and more complex, the importance of formalization has grown significantly. In this talk, I will introduce the concept of formalization, explore its significance, and highlight current successful and ongoing projects in the field.

Date
May 26, 2025 4:00 PM — 5:00 PM
Location
Room 526, Asan Science Building
145 Anam-ro, Seongbuk-gu, Seoul, 02841