수학, 인공지능, 그리고 형식화 [1]: 수학을 위한 인공지능

요즘에는 어디를 가도 모두가 인공지능AI 이야기를 하고 있습니다. 저는 주로 카페에서 일하는 편인데, 주변을 둘러보면...

온도는 어떻게 정의하고 측정하는가?

일상 생활과 과학 기술에서 “온도”라는 단어는 굉장히 흔하게 사용된다. 일기예보에서는 온도가 가장 중요하면서도 간단...

복소수가 기하학을 만나다 : 리만 사상 정리와 그 너머

MBTI와 기약분수 : 분류 문제 예전에는 혈액형으로 사람의 성격을 네 가지로 분류하던 적이 있었습니다. 지금은 시대가 ...

오래된 새로운, 혹은 새로운 오래된 우리 음악: KIAS초학제 국악 독립연구단  연구 소개

오래된 새로운, 혹은 새로운 오래된 우리 음악 : KIAS초학제 국악 독립연구단1 연구 소개 연구단의 동기에 관한 질문들 ...

[4월의 퍼즐] 사파이어 왕관을 훔쳐라!

매월 응모자 중 한 분을 선정하여 문화상품권을 드립니다. 4월 26일까지 댓글로 참여하실 수 있으며, 5월 초에 해설과 ...