Y2K 문제와 귀납법의 새로운 수수께끼

The Year-2000 Problem and the New Riddle of Induction – Hal Berghel
Y2K 문제와 귀납법의 새로운 수수께끼

개요
Y2K problem 또는 밀레니엄 버그라 불리우는 문제는 2000년이 되면
컴퓨터(소프트웨어와 하드웨어 모두)들이 2000년을 1900년으로 인식하게
되어 여러 사고가 발생할 수 있다는 문제를 말한다.

Wegner
Algorithmic computing is weaker than interactive computing.
Interaction machine cannot be expressed by Turing machines
and by first-order logic.

Berghel의 반론
Practical interactive services like banking or airline reservations
cannot inherently be realized by non-interactive(Turing machine)
systems.

Year-2000(Y2K) problem은 turing machine이 가지는 위와 같은 문제점을
드러내는 예이다.

Y2K 문제가 일어날 수 있게 된 역사적 배경은 다음과 같다. 시스템
개발을 요구한 기업들은 memory를 아끼기 위해 날짜를 저장하는 변수를
겨우 2바이트 정도의 크기로 제한하도록 개발업체에 주문하였다. 몇
바이트만 더 사용했더라도 태양의 수명을 넘기는 시간동안 그러한
문제가 발생하지 않을 수 있었던 것이다.

DOS
((year-1980)*512)+(month*32)+day

Unix
70년 1월 1일부터 2*31초 = 2038년 1월 18일
지질학적인 시간 40억년
64 bits = 8 bytes

Induction의 수수께끼

old riddle : 귀납법은 정당화를 하기 위해 모든 것이 가설을 만족시켜야
하는데, ‘모든’ 것에 대해서 가설을 적용해 볼 수가 없다. –> 수학적
귀납법, 원초적 본능(?), 단순화 등에 의해 해소될 수 있는 문제이다.

new riddle : 임의의 시각 t에 대해서 가설을 만족했다고 해서 t 이후에도
만족한다고 주장할 수 없다. Y2K문제는 바로 이러한 귀납법의 paradox에
의해서 발생하는 문제이다.

해결

미국 내 소프트웨어의 Y2K문제를 해결하기 위해 필요한 비용은 약 700억
달러이며, 중간급의 회사가 95년에 버그를 잡기 위해 프로젝트를 시작하는
것이 바람직하며, 97년 10월이 그 마지막 시기라고 한다.