#differential-analytic-turing-automata — Public Fediverse posts on home.social

2026-08-28

Reflective Interpretive Frameworks • Incident 2
• https://inquiryintoinquiry.com/2026/08/27/reflective-interpretive-frameworks-incident-2/

Re: Terence Tao • Modular Arithmetic Challenge
• https://terrytao.wordpress.com/2026/06/08/modular-arithmetic-challenge/
• https://competition.sair.foundation/competitions/modular-arithmetic-challenge/overview

The Modular Arithmetic Challenge asks a simple question:

• Can a neural network learn to do modular multiplication efficiently?

Incidental Reflection 1 —

There are alternative models of neural networks which do not depend on threshold neurons and endlessly fiddling with weights.

Incidental Reflection 2 —

The series of three blog posts linked below present a case study comparing two ways of handling a classic example from the Parallel Distributed Processing paradigm, namely, the “Jets and Sharks” database problem, first taking up the original treatment by McClelland and Rumelhart and then proceeding according to a program I developed for propositional logic modeling. The latter method makes use of ideas from Grossberg's competition‑cooperation and winner‑take‑all dynamics, but is purely propositional‑logic based, involving no extraneous weights.

Theme One Program • Jets and Sharks
(1) https://inquiryintoinquiry.com/2024/06/20/theme-one-program-jets-and-sharks-1-a/
(2) https://inquiryintoinquiry.com/2024/06/22/theme-one-program-jets-and-sharks-2-a/
(3) https://inquiryintoinquiry.com/2024/06/23/theme-one-program-jets-and-sharks-3-a/

Resources —

Survey of Theme One Program
• https://inquiryintoinquiry.com/2025/05/06/survey-of-theme-one-program-7/

Differential Analytic Turing Automata
• https://oeis.org/wiki/Differential_Analytic_Turing_Automata_%E2%80%A2_Overview

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations
#PropositionalModels #MinimalNegationOperators #DifferentialAnalyticTuringAutomata
#CactusGraphs #CactusLanguage #DifferentialLogic #NeuralNetworks #SequenceLearning

#sequencelearning #neuralnetworks #differentiallogic #cactuslanguage #cactusgraphs #differentialanalyticturingautomata

Inquiry Into Inquiry @[email protected]

2024-12-09

Differential Propositional Calculus • 10

Special Classes of Propositions (cont.)

Let’s pause at this point and get a better sense of how our special classes of propositions are structured and how they relate to propositions in general. We can do this by recruiting our visual imaginations and drawing up a sufficient budget of venn diagrams for each family of propositions. The case for 3 variables is exemplary enough for a start.

Linear Propositions

The linear propositions, may be written as sums:

One thing to keep in mind about these sums is that the values in are added “modulo 2”, that is, in such a way that

In a universe of discourse based on three boolean variables, the linear propositions take the shapes shown in Figure 8.

At the top is the venn diagram for the linear proposition of rank 3, which may be expressed by any one of the following three forms.

Next are the venn diagrams for the three linear propositions of rank 2, which may be expressed by the following three forms, respectively.

Next are the three linear propositions of rank 1, which are none other than the three basic propositions,

At the bottom is the linear proposition of rank 0, the everywhere false proposition or the constant function, which may be expressed by the form or by a simple

Resources

cc: Academia.edu • Cybernetics • Structural Modeling • Systems Science
cc: Conceptual Graphs • Laws of Form • Mathstodon • Research Gate

#Amphecks #Animata #BooleanAlgebra #BooleanFunctions #CSPeirce #CactusGraphs #CategoryTheory #Change #Cybernetics #DifferentialAnalyticTuringAutomata #DifferentialCalculus #DifferentialLogic #DiscreteDynamics #EquationalInference #FunctionalLogic #GraphTheory #Hologrammautomaton #IndicatorFunctions #InquiryDrivenSystems #Leibniz #Logic #LogicalGraphs #Mathematics #MinimalNegationOperators #PropositionalCalculus #Time #Topology #Visualization