<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<div>Reversible computations aren’t just carrying around an error term, they carry a recipe for reconstructing what was lost. In simple cases like a Hadamard gate, an observed behavior could go from true to random and then with another application goes back
to true, no extra memory is needed. In the Trump/Biden negation example, the operator has to reserve memory (qubits) to reconstruct unique properties of each. Bouncing between Trump and Biden is a dumb operation, but get some slippage from Biden (say Harris
becomes president), then the same operator could go somewhere very different than Trump.</div>
<div>
<div>
<div>
<div dir="ltr"><br>
<div>On May 13, 2022, at 8:34 PM, Steve Smith <sasmyth@swcp.com> wrote:<br>
<br>
</div>
</div>
<div dir="ltr">
<p><br>
</p>
<div class="moz-cite-prefix">glen sed:<br>
</div>
<blockquote type="cite" cite="mid:098a6671-9d9b-bc1d-19e6-af84424138ba@gmail.com">
Exactly! That's the point. By denouncing negation, I'm ultimately denouncing contradiction in all it's horrifying forms. It's judo, not karate.
<br>
</blockquote>
<p>And yet you are this list's ultimate contrarian which makes the paradox/contradiction of it all the self-negating perfection one could hope for!</p>
<p>The best phrase (IMO) of the post yet:</p>
<p><i> </i><i>But it seems further that we can define logics without negation and logics without currying.</i></p>
<blockquote type="cite" cite="mid:098a6671-9d9b-bc1d-19e6-af84424138ba@gmail.com">
<br>
On 5/12/22 13:56, Jon Zingale wrote: <br>
<blockquote type="cite">An interesting property of turbulence is that it need not be a statement about fluids, but rather a property entailed by a system of equations.
</blockquote>
<br>
I'm a bit worried about all the meaning packed into "property", "entailed", and "system of equations". But as long as we read "equations" *very* generously, then I'm down.
<br>
<br>
On 5/12/22 19:54, Marcus Daniels wrote: <br>
<blockquote type="cite">Unitary operators are needed. Apply a Trumping operator you get a Biden and apply another one to get a Trump back. To make this work a bunch of ancillary bits are needed to record all the wisdom that Trump destroys. I am afraid
we are dealing with a dissipative system, though. <br>
</blockquote>
<br>
IDK. The allowance of unitary operators seems to be a restatement of orthogonality. In a world where no 2 variates/objects can be perfectly separated, there can be no unitary operators. (Or, perhaps every operator has an error term. f(x) → y ∪ ε) I haven't
done the work. But it seems further that we can define logics without negation and logics without currying. Can we define logics with neither? What's the expressive power of such a persnickety thing? Is it that such a thing can't exist? Or merely that our
language is incapable of talking about that thing with complete faith? Biden is clearly not not(Trump), at least if the object of interest is "too damned {old, white, male}". If that's the object, clearly Biden ≡ Trump and ∀x|x(Trump) = x(Biden) ∪ ε, where
|ε| >> |x(Trump)-x(Biden)|. <br>
<br>
</blockquote>
</div>
</div>
</div>
</div>
<div>
<div>
<div>
<div dir="ltr"><span>-. --- - / ...- .- .-.. .. -.. / -- --- .-. ... . / -.-. --- -.. .</span><br>
<span>FRIAM Applied Complexity Group listserv</span><br>
<span>Fridays 9a-12p Friday St. Johns Cafe / Thursdays 9a-12p Zoom bit.ly/virtualfriam</span><br>
<span>un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com</span><br>
<span>FRIAM-COMIC http://friam-comic.blogspot.com/</span><br>
<span>archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/</span><br>
<span> 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/</span><br>
</div>
</div>
</div>
</div>
<div>
<div>
<div>
<div dir="ltr"></div>
</div>
</div>
</div>
</body>
</html>