This seems important and interesting but I think I need an essay length explanation. Is there one?
-
-
-
no, I only just realized it, and I have ADHS so may not write the essay
- 26 more replies
New conversation -
-
-
@johncarlosbaez Curious to read your take on this. -
I don't know what these claims mean, esp. the "Minsky-Turing" one. What did Minsky prove?
- 4 more replies
New conversation -
-
-
How Solomonoff’s universal distribution over al possible programs fits here? We know it’s semi computable and upper bounds can be approximated. Hamkins ideas might be of your interest:http://jdh.hamkins.org/the-modal-logic-of-set-theoretic-potentialism-kyoto-september-2016/ …
-
At the moment, I understand it less than ever, because its semi computability might really not be good enough. I suspect that we need to introduce sorting criteria into our models that account for the possibility of creating viable universes.
End of conversation
New conversation -
-
-
Very nice. However the final statement "we can use constructive mathematics to run classical mathematics" has a different use of the word "run' from the first statement. Run in the former is 'specify' and in the latter it is 'execute'.
-
If I'm a computer and I can both specify and execute mathematics would this be equivalent to a demonstration of the final statement?
- 1 more reply
New conversation -
-
-
With the last name Bach couldn’t you have thrown an Escher in there? Asking for a friend.
-
Hehe. But I am pretty sure that none of my thoughts here are original, and I am just very late to the party.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.