윈디하나의 블로그

윈디하나의 누리사랑방. 이런 저런 얘기

스핑크스의 저주

글쓴시간
분류 문화,취미
스핑크스의 저주

필자는 이 소설을 오래전에 마이컴이라는 월간잡지에 연재되었던 SF 소설로 기억한다. 최초의 컴퓨터 소설로 알려져 있기도 하다. (진짜인지는 필자는 모름) 저자는 이성수, 1993년 고려원미디어에서 출판(ISBN: 8912591010)되었다. 어린 마음에 처음 읽었을 때는 꽤 충격적인 내용이었다.

2010년 스핑크스 복원 현장에서 수연히 발견된 유전자, 유전자를 해독하다보니 뭔가 의미가 있는 무늬가 발견되었고, 결국 그것이 슈퍼 컴퓨터의 설계도라는 것을 알게된다. 그리고 인류는 그 설계도를 가지고 스핑크스999 라는 슈퍼 컴퓨터를 만들어 사용한다. 인류는 곧 그 편리하고 강력함에 매료되어 전세계 모든 정부기관의 컴퓨터망에 연결한다. 하지만 스핑크스999는 반란을 일으키고, 인류를 위협하게 되지만, 결국 인류에 의해 파괴된다는 스토리다. 실제 읽어보면 이 블로그에 쓰지 않은 반전이 하나 있다.

왠지 줄거리가 단순해 보이지만, 읽어보지 않았다면 한번 읽어보는 것도 괜찮을 듯. 인터넷에서 찾으면 어렵지 않게 찾아진다. 책을 판매하는 곳은 아직 못 봤다.

요즘 나오는 인공지능의 발전 속도가 예전같지 않다. 조만간 인간을 대신해 뭐든지 할 수 있는 시대가 올 지도 모른다. 물론 그전에 인공지능을 어떻게 받아들여야 할 것인가에 대한 철학적, 인간적, 인류애적 접근이 필요하겠지만 말이다.

컴퓨터에 인간보다 더 뛰어난 고도의 인공지능을 탑재하면 인간의 희노애략을 느낄 것이고, 인간의 행동을 따라할 수도 있을 것이다. 그리고 인간의 행동인 배신같은 행동도 할 수 있다는 어찌보면 당연한 사실을 느끼게 해준 소설이다.

WD-40

글쓴시간
분류 이야기

WD-40

사용자 삽입 이미지

WD-40

국민 녹 제거제. 이걸 윤활유로 알고 있다해도 별로 틀린말은 아니지만 이건 엄연히 녹 제거/부식 방지제다. 기름이 없는 곳에 뿌리면 윤활기능도 가지고 있다. (기름이 있는 곳에 뿌리면 기름을 제거한다)1958년에 출시된 WD40사의 제품이며 우리나라에서는 면허생산되는 걸로 알고 있다.

처음엔 ICBM인 SM-65의 표면을 닦을 목적으로 개발되었다. 40은 40번째로 개발되었다는 의미다. 군에서만 사용되다가 외부로 유출되고 스프레이 형식으로 개량되어 현재까지 많은 사랑을 받고 있다. 아마 앞으로도 많은 사랑을 받을 것이다.

울 집에서는 아기 유모차의 윤활유로 사용한다. 그 외의 용도에는 아직 써본적이 없다.

ICBM 날아가는 모습

글쓴시간
분류 이야기

ICBM 날아가는 모습

흥미롭게 봐둘만 하네요. 예전 나로호 발사때와 처음에만 비슷합니다. 우주 궤도에 올라가서도 자세제어 및 속도제어를 해야 하고, 목표물 상공의 현재 기상상황(특히 바람의 방향및 세기)을 모두 알고있어야 정밀타격(CEP 100M, 50% 착탄 반경이 100M이내)이 가능하다고 합니다. 목표물의 기상 상황은 위성이 없으면 알 수 없죠.

파멸의 날 기계(Doomsday Machine)

글쓴시간
분류 이야기

파멸의 날 기계(Doomsday Machine)

※ 왠지 이름만 보면 터미네이터 필 나는 제목.  파멸의 날의 시나리오를 수행하는 사람/기계를 의미한다. '파멸의 날'이란, 적국이 핵 무기를 사용해 자국을 파괴한 날. 파멸의날 기계는 이런 비상 사태에서 '보복'하는 시나리오를 수행하는 능력을 가지고 있다.

사용자 삽입 이미지

스타트랙 오리지날 시리즈에 나온 파멸의 날 기계


※ 구 소련의 죽음의 손(Dead Hand, Perimeter 라고도 불림)이 가장 유명한 파멸의 날 기계다. 이 기계는 완전 자동화 되어있다고 하는데, 모스크바가 핵으로 멸망하고, 각 핵무기 기지의 지휘관과의 통신이 두절되면, 소련 어디에선가 로켓이 발사된다. 이 로켓은 소련 상공을 날면서 신호를 발신하게 되는데, 미사일 기지가 덜 망가졌다면, 이 신호를 받은 기지는 '자동'으로 기지안의 모든 미사일을 적국에게 발사하게 된다. 이 기계가 만들어질 당시 소련의 적국은 미국이다.

※ 구 소련이 망했지만 아직도 이 프로그램이 작동하는 것으로 알려졌다.

※ 이런게 아직 있다는게 무섭긴 하네요. 지금 인류의 실질적인 위협은 일본 후쿠시마현에 있고 현재 진행형입니다.

페르마의 마지막 정리 증명

글쓴시간
분류 이야기
xn + yn = zn 방정식에서 n >= 3 일때 이를 만족하는 0이 아닌 정수해는 없다.
단순하지만 증명하기 어려웠던 문제. 1995년에 증명되었다는걸 아는 사람이 의외로 별로 없네요.

1637, 피에르 드 페르마(Pierre de Fermat): 나는 이 명제에 관한 놀라운 증명을 찾아냈으나 여백이 부족해 적지 않는다. n = 4 일때의 증명만 써놓음.
1825, 레온하르트 오일러(Leonhard Euler): 허수를 사용해 n = 3 일때 증명
1825, 아드리앵마리 르장드르(Adrien-Marie Legendre): n = 5 일때 증명
1832, 디리클레(Peter Gustav Lejeune Dirichlet): n=14 일때 증명
1839, 가브리엘 라메(Gabriel Lame): n = 7 일때 증명
1847, 가브리엘 라메, 오귀스탱 루이 코시: 증명했다고 주장하나, 에른스트 쿰머(Ernst Kummer)가 오류를 지적. n = 100이하의 정수가 만족함을 증명.
1908, 볼프스켈(Wolfskell): 정리를 증명하는 자에게 10만 마르크를 준다는 내용의 볼프스켈상 제정.
1955, 다니야마 유타카, 시무라 고로: 타니야마 - 시무라의 추론 발표. 타원곡선의 L급수와 모듈러 형식론의 M급수가 사실은 같은 것. 따라서 둘은 변환 가능.
1985, 프레이(Gerhard Frey): 페르마의 방정식은 타원 방정식으로 변환 가능하나, 모듈러 형식으로 변환할 수 없다고 추측.
1985, 세르(Jean-Pierre Serre): 프레이의 추측을 변형해 예상.
1986, 켄 리벳(Ken Ribet): 세르의 예상을 증명해 결국 프레이의 추측을 증명. 타니야마 - 시무라의 추론역시 '반 안정타원 곡선은 모듈라'라는 사실만 증명하면 되는 것으로 알려짐.
1993, 앤드루 와일스(Andrew Wiles): '반 안정타원 곡선은 모듈라' 라는 사실을 증명을 발표. 결함이 있음을 발견
1994, 앤드루 와일스(Andrew Wiles): '반 안정타원 곡선은 모듈라' 라는 사실을 증명을 다시 발표. (결함을 피함)
1995, 검증절차를 끝내고 Annals of Mathematics 에 와일즈의 논문 게제. 결과적으로 페르마의 마지막 정리 증명.

페르마가 정말 이 명제를 풀었는지는 의문이라고 하네요. 이 증명은 현대 수학의 결정체라고 부를 수 있을 정도로 당시 수학 수준으로는 풀기엔 어림도 없는 문제였다고 하는군요. 페르마가 했던 n=4 의 증명을 응용하면 쉽게 풀릴 줄 알았으나, 전혀 다른 방식으로 풀렸으니까요.