All Articles

[11월의 퍼즐 해설] 거짓말의 발명

11월의 퍼즐에 참여해주신 모든 분들께 감사드립니다! 퍼즐 정답자는 ‘김형섭’님으로 선정하였으며 HORIZON...

[12월의 퍼즐] 크리스마스 트리(Tree)

매월 정답자 한 분을 선정하여 고등과학원에서 문화상품권을 드립니다. 퍼즐 참여는 12월 27일까지 가능하며 다음달 초 ...

모델론 맛보기 [2]: 힐버트의 17번째 문제

본 글에서는 실수 순서체 및 닫힌 실체의 `한정기호 제거’를 사용하여, 어떻게 힐버트의 17번째 문제를 해결할 수...

[한국 과학기술의 결정적 순간들] 1970년 정근모, 과학자로 살 것이냐 과학정책가로 살 것이냐

1970년 3월, 미국 뉴욕공과대학교 전기물리학과 부교수에 재직 중이던 정근모(鄭根謨, 1939~)에게 한 통의 편지가 도착...

비트코인 속으로 들어간 타원곡선 [2]: 디지털서명 알고리듬

지난 글(클릭 시 1편으로 연결)에서는 비트코인 주소가 만들어지는 과정에 숨겨진 타원곡선의 역할에 대해 이야기했다. ...

빅뱅에서 인간까지 [4]: 우주의 역사 2부

변화의 기원 : 팽창하는 우주 물질이 균일하게 분포하고 있는 공간은 균일함을 유지하면서 팽창한다. 팽창하는 공간은 ...

[11월의 퍼즐] 거짓말의 발명

매월 정답자 한 분을 선정하여 고등과학원에서 문화상품권을 드립니다. 퍼즐 참여는 11월 28일까지 가능하며 다음달 초 ...

[10월의 퍼즐 해설] 두 점 멀리 떨어뜨리기

  10월의 퍼즐에 참여해주신 모든 분들께 감사드립니다! 10월의 퍼즐 정답자 중 좋은 직관을 얻을 수 있는 풀이를 남겨...

빅뱅에서 인간까지 [3]: 우주의 역사 1부

우주란 무엇인가? 우주는 우리가 속해 있는 (하나로 연속적으로 연결돼있는) 시간과 공간, 그리고 그 안에 있는 모든 물...

도핑의 윤리학과 ‘유전학’의 문제적 조우

2022년 4월 12일 한국도핑방지위원회(KADAKorea Anti-Doping Agency)는 부산 벡스코에서 ‘2022 세계 도핑방지의 ...

대수다양체의 방정식의 관계식[2]: 대수다양체의 관계식

지난 글 ‘대수다양체를 정의하는 방정식 [1]: 대수다양체를 정의하는 방정식’에서는 복소다양체 \(X\)를 매...

모델론 맛보기 [1]: 한정기호 제거

수리논리학에는 크게 4가지 분야가 있습니다: 계산가능성이론computability theory, 모델론model theory, 증명론proof t...