Корабль Тесея: является ли корабль, в котором заменены все детали, тем же самым «оригинальным кораблем»? Идентичность с точки зрения программной инженерии
