Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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
which I have added to the entry, with a brief comment.
1 to 2 of 2