Are there any known computational systems stronger than a Turing Machine, without the use of oracles (i.e. possible to build in the real world)? If not, do we know definitively whether such a thing is possible or impossible?