Added theorem on the immortality of the soul (without a demonstration yet)
Corrected theorem
Clarified concepts
Simplified formulation of the theorem
Specified initial state in the notation of the probability of a given mental sequence
Added factorization rule for probabilities of mental sequences
Precised definition of infinitely improbable mental sequences
Added sketch of the proof of the lemma
Defined some notations for the decomposition of mental subspaces
First part of the proof of the lemma
Second part of the proof of the lemma
End of the proof of the lemma
Added some bibliographical material
Added proof to the theorem
Fixed formula layout
Merge branch 'master' of github.com:sebastien-fauvel/quantum-ethics into issue-22
Merge branch 'master' of github.com:sebastien-fauvel/quantum-ethics into issue-22
Added proof of the corollary
Formatting
Fixed notation