테세우스의 배

테세우스의 배: 모든 것이 교체된 배는 '원래의 배'와 같은가? 소프트웨어 공학에서 풀어보는 동일성