O Navio de Teseu: Um navio com todas as peças substituídas é o 'mesmo navio'? A identidade na perspetiva da engenharia de software
