Jon Awbrey · @Inquiry
57 followers · 186 posts · Server mathstodon.xyz#DifferentialLogic and #DynamicSystems • Overview
• https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/
In modeling #IntelligentSystems, natural or artificial, there is a tension between #DynamicParadigms & #SymbolicParadigms.
#DynamicModels afford a system #QuantitativeDescription, charting its #TimeEvolution via #DifferentialEquations.
#SymbolicModels afford a system #QualitativeDescription, deducing its #LogicalConsequences. So far these tend to be static models, awaiting a logical analogue of #DifferentialCalculus.
#DifferentialCalculus #logicalconsequences #qualitativedescription #symbolicmodels #differentialequations #timeevolution #quantitativedescription #dynamicmodels #symbolicparadigms #dynamicparadigms #IntelligentSystems #dynamicsystems #DifferentialLogic
Khurram Wadee ✅ · @mkwadee
986 followers · 10873 posts · Server mastodon.org.ukI was explaining to my wife yesterday how #DifferentialCalculus gives us a way to find the #gradient of a #function at any point and to illustrate it I wrote a short routine in #Maxima to draw the #tangent to any point on a graph of a function. Here we see the example for the #quadratic and #reciprocal functions, x^2 and 1/x i.e. a #parabola and a #hyperbola respectively.
#MyWork #Gif #AnimatedGif #CCBYSA #WxMaxima #Mathematics #Maths #Calculus #Differentiation
#DifferentialCalculus #gradient #function #maxima #tangent #Quadratic #reciprocal #parabola #hyperbola #mywork #gif #animatedgif #ccbysa #wxmaxima #mathematics #maths #calculus #differentiation