Continuing the discussion from Halting Oracles And Law of information Non Growth:
Beats me. I should probably add despite the gracious notion of what a doctorate in physics could mean, I’m a biophysics type of guy where I solve things like equations for fluid or ion flow in constricted geometries (similar to ion channels/voltage gates/bacterial pores).
Looking at maybe 150 or so citations on the original paper most seem to be in computing research of which I know nothing. Perhaps we can ask the person who wrote this webpage:
Ooooh, this is something that I know quite a bit about. I have to go to work now, but I’ll respond later today.
The point with the Malament-Hogarth spacetime is this:
There are some spacetimes in which the clock carried by a person in a spaceship moving in a particular path through the spacetime ticks an infinite amount, while:
- The spaceship is always in the past of a particular point in spacetime, called the Malament-Hogarth Event.
- And more strongly, the spaceship is within the past lightcone of the Malament-Hogarth Event, i.e. in principle the person in the spaceship can send signals (which travels at the speed of light) to a detector located at the Malament-Hogarth Event.
Since an infinite amount of time elapses for the person in the spaceship, this person can conduct supertasks. The canonical example is: a mean mathematics professor sent their graduate student in such a spaceship, while they themself enjoy tenure. In this spaceship, the graduate student performs the task he was given by the professor: to check that Goldbach’s Conjecture is true by explicitly computing it for every even integers. If the student found a counter-example to Goldbach’s conjecture, they will beam a message to the Malament-Hogarth event. Because the student has an infinite amount of time, this is a doable task.
It turns out that there are examples of Malament-Hogarth spacetimes in which this is possible, including anti-de sitter (a universe with a negative cosmological constant) and inside a rotating black hole.
- In many spacetimes (e.g. anti-de Sitter), the path of the spaceship requires the use of an infinite amount of fuel, which requires the spaceship to be able to constantly distill energy from its environment throughout its travel.
- The Malament-Hogarth event necessarily predicts a breakdown in determinism (it necessitates what in general relativity is called a naked singularity). This is not good philosophically.
- Some spacetimes are only Malament-Hogarth in extremely specific conditions. For example, for a rotating black hole, a little perturbation blows up the location known as the “inner horizon”, which is where the Malament-Hogarth event is located.
Note that supertasks can be conducted in non-Malament-Hogarth spacetimes if we allow the detector (in addition to the spaceship) to also be moving. These spacetimes are called Pitowsky Spacetimes.
Very interesting. Thanks @PdotdQ.
So this is interesting.
What sounds like a proof that it is possible, actually looks much more like a proof that it is impossible. This is so thoroughly beyond even conceivable technology and the world as we find it, that I’m not sure why we would call it “possible.” In what sense is it possible? @BruceS
I was not using possible in the sense of physically possible. I was using it in the sense of logically possible. as defined in the modality models in philosophy.
At the conclusion of our previous exchange, I understood that you agreed that questions like the halting problem could be answered by God because they were in the logical region of the diagram.
I also formed the opinion that when you used the phrase “logically possible” earlier in the example of compression algorithms, you meant that it was not logically possible for humans to determine the optimal compression because any approach to doing so that was available to humans would involve running an algorithm on something that was equivalent to a Turing Machine and that if such an algorithm existed, it would mean that the halting problem could be solved on a TM, which was a logical contradiction.
However, I must admit I did not post that opinion because I was satisfied with the discussion’s ending there.
If my opinion of your use of “logically impossible” is correct, then one could get into issues of whether the Church-Turing Thesis is in fact true:
But I am not sure if that issue is germane to the discussions PS is meant for. Plus I really don’t know much about it!
I always wonder when people say things like that.
CT is not the kind of thing that could be “in fact true.” It could only be a matter of human convention (our meaning conventions for “computation”).
Fair point. It might have better for me to ask whether “intuitively computable” could have any other useful meaning than Turing-computable. At least that would replace issues of what ‘truth’ could mean in this context (if anything) with what ‘useful’ could mean, which might be a more fruitful topic for discussion.
Philosophers seem to have found something to talk about on this issue: The Church-Turing Thesis . Although I guess that almost goes without saying.
Edit to add: The linked SEP article on the CTT also discusses the CTT and the philosophy of Mind. Piccinini has an article which discusses this issue in more detail for any that are interested: Computationalism, The Church–Turing Thesis, And The Church-Turing Fallacy. Here he is using ‘computationalism’ to refer to the computational theory of mind.
Yes, “intuitively computable” seems appropriate here. Roughly speaking, C-T is a set of conventions that attempt to make our intuitions precise.
I have not come across any good objections to using C-T to define “computation”.
Well, Malament-Hogarth spacetimes are physically possible, just very improbable
Note that the Pitowski spacetimes are much less demanding than Malament-Hogarth spacetimes (flat spacetime is Pitowskian), but most require crazy (or even non-physically reasonable) paths for either the spaceship or the detector.
I think a cool sci-fi premise would be a hyper-advanced civilization that could engineer these spacetimes to do their computations in. A lot of Malament-Hogarth spacetimes require materials that disobey the energy conditions to built. These would be materials like dark energy or some sort of vacuum energy, and a hyper-advanced civilization might be able to produce and do engineering with them.
Sean Carroll in recent mindscape podcast
(Click on transcript link to see quote)