Корабль Тесея

Знаменитый корабль героя Тесея хранится в музее. С течением веков его старые деревянные доски начинают гнить. Чтобы сохранить его, каждую гниющую доску тщательно заменяют новой, идентичной во всех отношениях. Через 100 лет каждая доска на корабле была заменена. Является ли корабль в музее всё ещё Кораблём Тесея? В качестве продолжения, коллекционер собрал все старые, сгнившие доски и собрал их заново. Какой из двух кораблей является настоящим Кораблём Тесея?