Not signed in (Sign In)

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).

nLab > Latest Changes: Church-Turing thesis

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2014

    started something at Church-Turing thesis, please see the comments that go with this in the thread on ’computable physics’.

    This is clearly just a first step, to be expanded. For the moment my main goal was to record the results about physical processes which are not type-I computable but are type-II computable.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 6th 2014

    I keep adding a bit to Church-Turing thesis and computable physics as I get more information from our g+ discussion.

    Now Philip Thrift kindly pointed me to

    • Cristian Calude, Michael Dinneen, Monica Dumitrescu, Karl Svozil, Experimental Evidence of Quantum Randomness Incomputability, Phys. Rev. A 82, 022102 (2010) (arXiv:1004.1521)

    which I have added to the entry, with a brief comment.

1 to 2 of 2

  1.