Learn More
Presented here are some new results concerning the computational power of so-called SAD n computers, a class of Turing machine-based computers that utilise the geometry of Malament-Hogarth spacetimes to perform non-Turing computable feats. The main result is that SAD n can decide n-quantifier arithmetic but not (n+1)-quantifier arithmetic, a result which(More)
A thesis submitted to the Faculty of Philosophy in the University of Cambridge in partial fulfilment of the requirements for the degree of Doctor of Philosophy. The thesis is the result of the author's own work and includes nothing which is the outcome of work done in collaboration. To my Mum and Dad, who succeeded in violating Larkin's Law. And to my(More)
This paper consists mostly of pictures visualizing ideas leading to Gödel's rotating cosmological model. The pictures are constructed according to concrete metric tensor fields. The main aim is to visualize ideas. Some kinds of physical theories describe what our universe looks like. Other kinds of physical theories describe instead what the universe could(More)
Information about subscriptions and ASH membership may be found online at: digital object identifier (DOIs) and date of initial publication. the indexed by PubMed from initial publication. Citations to Advance online articles must include final publication). Advance online articles are citable and establish publication priority; they are appeared in the(More)
  • 1