Formalizing mathematics: why it matters now
bk21
129동 101호
0
3989
04.03 15:55
| 구분 | Rookies Pitch |
|---|---|
| 일정 | 2026-04-14 16:30 ~ 17:30 |
| 강연자 | 황병학 (고등과학원) |
| 기타 | |
| 담당교수 | 서인석 |
Formalizing mathematics involves translating mathematical statements from natural language into a precise formal language that computers can interpret. As modern mathematics becomes deeper and more complex, the importance of formalization has grown significantly. In this talk, I will provide a brief introduction to the concept of formalization, discuss its significance, and explore how formalization and AI interact with each other.
강연시간 : 16:40-17:10
