[CG] Re: Differential Logic

Cf: Differential Logic • Discussion 16 http://inquiryintoinquiry.com/2022/05/11/differential-logic-discussion-16/ Re: Survey of Differential Logic • 3 https://inquiryintoinquiry.com/2021/05/15/survey-of-differential-logic-3/ Re: Laws of Form https://groups.io/g/lawsofform/topic/differential_logic/91011396 ::: Lyle Anderson ( https://groups.io/g/lawsofform/message/1872 ) <QUOTE LA:> Thanks for posting this. Particularly the Differential Logic and Dynamic Systems ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Over… ). It appears this is part of the trail to connecting Forms with Tensors. Heim has already connected Tensors to Intelligence (artificial or “natural”) and there is a current body of work making the same connection. ☞ Smart Tensors ( https://tensors.lanl.gov/ ) </QUOTE> Thanks, Lyle, that's more or less the right ballpark. From my perspective I view it as the qualitative substrate of differential geometry and the “intelligence” part would come into play when we make the extension to information geometries. But that's another inning, if not another season. It is common in practice to find two different ways of approaching the field, the way of tensors and the way of differential forms, a division I suspect goes back to the divergent methods of Newton's fluxions and Leibniz's differentials. We do have to integrate the two approaches over the long haul but it makes for a smoother start to begin with differential forms, in large part because they bear more of the relevant information “on their sleeves”, as the saying goes. Regards, Jon