알고리즘
과학에서 실험은 가설 설정, 탐구 설계 및 수행, 자료 해석, 결론 도출의 과정으로 이루어진다. 하지만 모든 이론이 실험으로 검증되는 것은 아니며 현대 자연과학의 이론들은 실험하기 어려운 내용을 기술하는 경우가 증가하고 있다. 주요 원인으로는 실험을 위한 기술력이 부족하다는 점이 있다. 아인슈타인의 특수 상대성 이론은 빛의 속도에 근접하게 움직이는 물체에 대한 이론을 제시한다. 해당 이론의 주요 효과인 시간 팽창, 길이 수축을 현실에서 보이기 위해서는 빛의 속도에 가까운 속력을 가진 물체와 이를 관측할 수 있는 기술이 필요했다.