일시 : 2025년 5월 26일(월) 16:00 ~ 17:00
장소 : 아산이학관 526호(권택연 세미나실)
연사 : 황병학 박사님(고등과학원 수학부)
특강 주제 : Formalizing Mathematics: Why and How
초록 : 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.