This article constructs a Turing Machine which can solve for β ′ which is REcomplete. Such a machine is only possible if there is something wrong with the foundations of computer science and mathematics. We therefore check our work by looking very closely at Cantor’s diagonalization and construct a novel formal language as an Abelian group which allows us, through equivalence relations, to prov...

This paper addresses the blind signal separation problem in the presence of sensor noise for the case where the source signals are non-stationary and / or non-white. This problem can be formulated as a joint-diagonalization problem where the objective is to jointly diagonalize a set of correlation matrices fRpg, using a single matrix W. We derive a Newton-type algorithm for two joint-diagonaliz...