忒修斯之船

忒修斯之船：全部替換過的船還是「原來的船」嗎？從軟體工程解讀同一性