A pipeline supplying 90% of the oil from China to North Korea was excluded from recent UN sancations. Why?
The (official) reason is surprising: wax.
SCMP
Scott A. explains meditation as positive feedback loop.
slatestarcodex
Could there be a consistent world with 2+3 being uncomputable?
here and here
It is likely that AfD will come in 3rd in the German elections tomorrow, becoming the largest opposition party (*).
wikipedia
(*) AfD received 13%, while CDU/CSU and SPD lost significantly; a continuation of their coalition is no longer certain ...
We finally understand how boys learn physics at a young age and their advantage vs girls.
tes
"Personal data is the fuel of the economy" ... amazing how much personal data people are disclosing.
schneier
The first observation of gravitational waves by three different detectors.
nsf
Jose
Behind Irma comes hurricane Jose. It seems the track is hard to predict at this point 8-)
added later: Maria -> NHC , wug
Irma
The forecast for hurricane Irma from September 5th, 8am. The red arrow indicates my location.
It seems that Irma will ruin our weekend even if we do not get hit directly. Obviously I am checking the weather forecast on a regular basis, which got me wondering how it is actually done.
I assume the models need wind speed, pressure, temperature and humidity at many grid points as initial data and I wonder how this is derived from satellite images or other sources for different heights. In particular, how do they determine pressure and humidity with the necessary space and time resolution?
I have another question about this wunderground page: What is the difference between computer models and ensemble models? My assumption is that (some) computer models use brute force numerical integration of the Navier Stokes equation(s), but I guess there must be some heuristic models as well, e.g. about rainfall etc. Are the ensemble models just different runs of the computer models with different settings or what? (*)
I am counting on CIP and friends to know this stuff or at least have some good links 8-)
And please let me know before Saturday, because afterwards power and/or internet might be out here ...
added later: (*) I see that xkcd answered one of my questions.
added even later: The above forecast turned out to be mostly correct and we were really lucky here on Paradise Island.
halting problems
I think my "blogicidal tendencies", the weird habit of ending and restarting this blog, might one day require deeper analysis, perhaps using Freud's concept of Todestrieb, usually translated as "death wish". Or one could understand it as an example of the "halting problem" - not even the author can determine with certainty if and when this blog will halt ...
But this blog post is really about something else - the possible existence of closed timelike curves (CTC).
Hawking famously proved that CTCs within classical general relativity require either ...
a time machine of infinite size (example: Tipler cylinder) or
exotic matter, violating the weak energy condition (example: wormholes) or
a (naked) singularity (example: Bonnor metric) or
they are hidden behind a horizon (example: Kerr metric). (*)
As far as I know, cosmic censorship prohibiting naked singularities is still an open question (with several examples and counterexamples) and the question if quantum field theories obey the weak energy condition is not settled either. Furthermore, the existence of CTCs would still be unsettling even if "hidden" behind horizons; a brave observer, willing to plunge e.g. into a large rotating blackhole, perhaps motivated by a "death wish", would be able to experience them.
Therefore an important question is how CTCs would change computability theory and fortunately Scott has already some answers. Spoiler alert: He talks about the "halting problem".
(*) S. Hawking, Phys. Rev. D46, p. 603; F. Tipler, Phys. Rev. D9, p. 2203; W. Bonnor, Class. Quant. Grav. 19 (2002), p.5951
added later: There is an interesting proposal of a time machine by Amos Ori, but I have to admit that I do not understand (yet) how exactly he circumvents the Hawking result (see also this and that).
In case you wonder, yes an exact string theory model of CTCs has been investigated and this "may also support the possibility that CTCs may be viable in some physical situations".
But this blog post is really about something else - the possible existence of closed timelike curves (CTC).
Hawking famously proved that CTCs within classical general relativity require either ...
a time machine of infinite size (example: Tipler cylinder) or
exotic matter, violating the weak energy condition (example: wormholes) or
a (naked) singularity (example: Bonnor metric) or
they are hidden behind a horizon (example: Kerr metric). (*)
As far as I know, cosmic censorship prohibiting naked singularities is still an open question (with several examples and counterexamples) and the question if quantum field theories obey the weak energy condition is not settled either. Furthermore, the existence of CTCs would still be unsettling even if "hidden" behind horizons; a brave observer, willing to plunge e.g. into a large rotating blackhole, perhaps motivated by a "death wish", would be able to experience them.
Therefore an important question is how CTCs would change computability theory and fortunately Scott has already some answers. Spoiler alert: He talks about the "halting problem".
(*) S. Hawking, Phys. Rev. D46, p. 603; F. Tipler, Phys. Rev. D9, p. 2203; W. Bonnor, Class. Quant. Grav. 19 (2002), p.5951
added later: There is an interesting proposal of a time machine by Amos Ori, but I have to admit that I do not understand (yet) how exactly he circumvents the Hawking result (see also this and that).
In case you wonder, yes an exact string theory model of CTCs has been investigated and this "may also support the possibility that CTCs may be viable in some physical situations".
Subscribe to:
Posts (Atom)