Mark J. Hadley

Learn More
The effectiveness of probabilistic structural testing depends on the characteristics of the probability distribution from which test inputs are sampled at random. Metaheuristic search has been shown to be a practical method of optimising the characteristics of such distributions. However, the applicability of the existing search-based algorithm is limited(More)
It is shown that models of elementary particles in classical general relativity will naturally have the transformation properties of a spinor if the spacetime manifold is not time orientable. From a purely pragmatic interpretation of quantum theory this explains why spinors are needed to represent particles. The models are based entirely on classical(More)
Contrary to established beliefs, spacetime may not be time-orientable. By considering an experimental test of time orientability it is shown that a failure of time-orientability of a spacetime region would be indistinguishable from a particle antiparticle annihilation event.
A new class of electrically charged wormholes is described in which the outer two sphere is not spanned by a compact coorientable hypersurface. These wormholes can therefore display net electric charge from the source free Maxwell's equation. This extends the work of Sorkin on non-space orientable manifolds, to spacetimes which do not admit a time(More)
It has been shown by Hadley that the logic of quantum mechanics is consistent with general relativity when closed time-like curves are permitted. This is done by hypothesising particles as 4-geons: particle-like solutions to Einstein's field equations with closed time-like curves. Hadley provides axioms that need to be satisfied for quantum logic to be(More)
Classical particle-like solutions of field equations such as general relativity, could account for dark matter. Such particles would not interact quantum mechanically and would have negligible interactions apart from gravitation. As a relic from the big bang, they would be a candidate for cold dark matter consistent with observations.