Liste des Groupes | Revenir à theory |
On 5/31/2024 10:37 AM, Fred. Zwarts wrote:Olcott thinks that a feather cannot stop a freight train. But a unicorn feather is strong enough to stop a freight train.You can assume a unicorn, but that does not make it existent. You can assume a simulating H that is a pure function and halts, but that does not make them existent. The set of such H is empty.You simply ignored my proof that you are wrong.
D correctly simulated by pure function HH cannot possibly reach
its own final state at line 06 in any finite number of steps of
correct simulation.
Les messages affichés proviennent d'usenet.