[오늘의 IT소사]1월 14일

　1978년 1월 14일 체코 출신의 수학자이며 20세기 최고의 논리학자 쿠르트 괴델이 미국에서 사망했다. 그는 24세 때 1930년 수학에서 증명도 반증도 할 수 없는 명제, 즉 어떤 컴퓨터도 풀 수 없는 수학적 문제가 있음을 증명한 ‘불완전성 정리’를 발표, 사상계 전반에 엄청난 충격을 주었다. 그의 ‘불완전성 정리’는 인간이성의 한계를 수학적으로 증명한 첫 번째 사례로서 논리학, 철학, 언어학 등 20세기 지성사에 큰 영향을 미쳤고 인공지능 등 컴퓨터 과학에 이론적 토대를 제공했다.

　

국내

1949년 항공사관학교 창설

1996년 방송통신위성 ’무궁화2호’, 미국 케이프 커내버럴 공군기지에서 발사

국외

1943년 연합국 수뇌들 카사블랑카에서 독일에 무조건 항복요구

2000년 첫 영장류 복제 원숭이 ‘테트라’ 탄생