Jon Awbrey<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@xameer" class="u-url mention">@<span>xameer</span></a></span> </p><p>Cf. <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#<span>DifferentialLogic</span></a> • Discussion 3<br />• <a href="https://inquiryintoinquiry.com/2020/06/17/differential-logic-discussion-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/06</span><span class="invisible">/17/differential-logic-discussion-3/</span></a></p><p><a href="https://mathstodon.xyz/tags/Physics" class="mention hashtag" rel="tag">#<span>Physics</span></a> once had a <a href="https://mathstodon.xyz/tags/FrameProblem" class="mention hashtag" rel="tag">#<span>FrameProblem</span></a> (<a href="https://mathstodon.xyz/tags/Complexity" class="mention hashtag" rel="tag">#<span>Complexity</span></a> of <a href="https://mathstodon.xyz/tags/DynamicUpdating" class="mention hashtag" rel="tag">#<span>DynamicUpdating</span></a>) long before <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> did but physics learned to reduce complexity through the use of <a href="https://mathstodon.xyz/tags/DifferentialEquations" class="mention hashtag" rel="tag">#<span>DifferentialEquations</span></a> and <a href="https://mathstodon.xyz/tags/GroupSymmetries" class="mention hashtag" rel="tag">#<span>GroupSymmetries</span></a> (combined in <a href="https://mathstodon.xyz/tags/LieGroups" class="mention hashtag" rel="tag">#<span>LieGroups</span></a>). One of the promising features of <a href="https://mathstodon.xyz/tags/MinimalNegationOperators" class="mention hashtag" rel="tag">#<span>MinimalNegationOperators</span></a> is their relationship to <a href="https://mathstodon.xyz/tags/DifferentialOperators" class="mention hashtag" rel="tag">#<span>DifferentialOperators</span></a>. So I’ve been looking into that. Here’s a link, a bit in medias res, but what I’ve got for now.</p>