2020년 두 번째로 개최된 자율 운영 온실 해커톤에는 나와 친분이 있는 연구자들도 여럿 참가했었다. 당시 한국 팀이 본선에 진출한 다섯 개 팀 중 3위를 기록했다는 소식을 전해 듣고 함께 기뻐했던 기억이 난다. 이 대회에서 가장 놀라웠던 것은 AI가 운영한 온실들이 모두 숙련된 농민들이 운영할 ...
KAIST 사이버영재학교에 올라온 문제 풀이에 도전하거나 KAIST 창의력글로벌리더십 캠프에 참여하는 등 교과 과정 외의 다양한 과학 활동을 스스로 찾아다녔습니다. 세부 진로는 고등학교 2학년 무렵 정했습니다. 그 전에도 세상에 도움이 되는 뭔가를 하고 싶다는 추상적인 목표는 갖고 있었죠. ...
찬탄 어린 눈빛으로 해 주는 것이 까무러칠 정도로 좋아서 매닝은 모임에 지속적으로 참석했다.그러나 답답한 점들도 있었다. 크뮨이 처음 신행성에 도착했을 때, 클론들이 제대로 된 반격을 못한 채 무력하게 거주지를 뺏겼다고 매닝은 어린 시절에 배웠다. 이번에도 멍청해 뵈긴 마찬가지였다. 왜 ...
됐습니다. 한국 일정 이후에는 전쟁 중인 우크라이나 키이우와의 온라인 학회에 참가하기 위해 바로 폴란드 바르샤바로 가셨습니다. 사실 수학자 중에는 나이가 많이 들수록 수학 연구에 힘을 빼거나 사람들과 소통하는 것을 힘들어하며 피하는 분도 있습니다. 하지만 타오 교수는 지금도 함께 ...
힐베르트의 작업이었습니다. 그날 괴델이 발표한 내용의 핵심은 모든 수학 체계에는 참이지만 증명 불가능한 명제가 있다는 사실이었거든요! 1년 후 괴델은 당시의 생각을 다듬어 다음의 두 정리를 발표했습니다. 이 내용이 수리논리학에 미친 타격은 치명적이었습니다. 괴델은 힐베르트의 꿈뿐만 ...
씨는 꿀록 탐정의 손을 잡으며 말했어요.“으하하! 역시 낚시는 ‘장비빨’이었군요. 이참에 낚시용품도 새것으로 싹 바꿔야겠어요. 꿀록 탐정님도 같이 가시죠! 도움을 받았으니 제가 비싸고 좋은 낚싯대를 선물해 드리겠습니다 ...
큰 도움이 될 것이고, 지금도 충분히 잘 공부하고 있다”고 다독였어요. 멘토링에 참여한 회원들의 소감은 어땠을까요? 송지후 회원은 “이번 멘토링을 통해 엄밀한 증명에 관해 배울 수 있어서 정말 좋았다”며, “슬기로운 수학생활 문제는 아직 어려워서 다른 회원들의 풀이를 다 이해하지는 ...
잘 갖춰져서 연구 환경이 좋습니다. 세계적인 과학자들과 힘을 합쳐 연구하는 지금이 참 재밌습니다. 되돌아보면 운이 좋게도 고등학교부터 대학원까지 여러 혜택을 받으며 최고의 환경에서 경제적으로 큰 무리 없이 공부할 수 있었습니다. 과학자로서 제 사명은 제가 지금까지 받은 것들에 ...
건넸어요.“역시 꿀록 탐정님께 부탁드리길 잘했네요. 탐정님의 강연에서 영감을 받아 이참에 책뿐만 아니라 햅틱 기술까지 넣은 점자 디스플레이도 만들어야겠어요. 앞으로 꿀록 탐정님께 꾸준히 과학 자문을 부탁드리겠습니다!”“영광입니다. 동화나라 시각장애인들도 비장애인과 마찬가지로 ...
세계가 존재한다’라는 문장은 의미가 없습니다. 이 문장이 거짓이라는 뜻이 아닙니다. 참 또는 거짓의 진릿값을 결정할 의미라는 요소 자체가 없다는 뜻입니다. 죽음 이후의 사건은 그 정의상 경험이 불가능하므로, 살아 있는 사람의 언어가 이 문장에 대응할 그림을 그리는 것은 불가능하기 ...