7:37 AM
I think one can still reduce regular halting problem to this; cant you just simulate the TM for “all random seeds” in parallell and you stop and give an output when one of the options reaches probability > 1/2. This does assume that the randomness is a stream of independent fair coins. — daniello 12 hours ago
8 hours later…
3:18 PM
1
Firstly, we have some geometrical intuition about what an ideal line should be like, which is based on our experience of the physical world. This ideal line satisfies: The points (i.e. possible positions) on the ideal line are closed under translation and scaling, and addition and multiplication...
« first day (1525 days earlier) ← previous day next day → last day (1281 days later) »