Cf. #DifferentialLogic • Discussion 3
• https://inquiryintoinquiry.com/2020/06/17/differential-logic-discussion-3/
#Physics once had a #FrameProblem (#Complexity of #DynamicUpdating) long before #AI did but physics learned to reduce complexity through the use of #DifferentialEquations and #GroupSymmetries (combined in #LieGroups). One of the promising features of #MinimalNegationOperators is their relationship to #DifferentialOperators. So I’ve been looking into that. Here’s a link, a bit in medias res, but what I’ve got for now.