#propositionalmodels — Public Fediverse posts on home.social

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