Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 15th 2014
    • CommentRowNumber2.
    • CommentAuthorspitters
    • CommentTimeMar 16th 2014

    Added some references to computable physics

    • CommentRowNumber3.
    • CommentAuthorspitters
    • CommentTimeMar 17th 2014

    Apparently, there are deep connections between this theory, the cosmic censorship conjecture and computability; see this paper. I am not able to judge this paper quickly. If this mathematics works out, it should be interesting to understand how this allows us to decide the consistency of ZFC.

    • CommentRowNumber4.
    • CommentAuthorspitters
    • CommentTimeMar 17th 2014

    Updated computable physics with a quote from Geroch and Hartle, who are also thinking in the Type-I way.

    We propose, in parallel with the notion of a computable number in mathematics, that of a measurable number in a physical theory. The question of whether there exists an algorithm for implementing a theory may then be formulated more precisely as the question of whether the measurable numbers of the theory are computable. We argue that the measurable numbers are in fact computable in the familiar theories of physics, but there is no reason why this need be the case in order that a theory have predictive power. Indeed, in some recent formulations of quan- tum gravity as a sum over histories, there are candidates for numbers that are measurable but not computable.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2014
    • (edited Mar 17th 2014)

    Thanks for the pointer to the article by Etesi! That looks good and insightful. I have added a pointer to Malament–Hogarth spacetime and to cosmic censorship hypothesis.

    • CommentRowNumber6.
    • CommentAuthorspitters
    • CommentTimeMar 17th 2014

    Do you have a feel for how this looks in SDG, e.g. via the work of Tim de Laat.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMar 18th 2014
    • (edited Mar 18th 2014)

    Horizons, cosmic censorship and these hypercomputing spacetimes are all crucially global aspects of spacetimes, which cannot be detected by local, much less by differential observations. SDG as such won’t help here. Relevant is the causal structure of spacetime, its causet poset. That might be something to explore…

    • CommentRowNumber8.
    • CommentAuthorspitters
    • CommentTimeMar 18th 2014

    OK, so we should be using this domain theory PDF, but perhaps also presheaves on causal sets, as here. Smolin was quite excited about this at some point. There is a bit more work in this direction.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMar 18th 2014

    The first PDF you link to looks very reasonable. Something along these lines might be interesting to explore regarding hypercomputing spacetimes.

    I’d be very careful with these speculations about what this means for quantum gravity, though. There has been more excitement than results.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2021

    added pointer to today’s

    diff, v9, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)