たましいというのはオカルトだから、オカルトを数学でモデル化
できるならそれを説明することは可能となる。