Jon Awbrey<p><a href="https://mathstodon.xyz/tags/ThemeOneProgram" class="mention hashtag" rel="tag">#<span>ThemeOneProgram</span></a> • <a href="https://mathstodon.xyz/tags/SurveyPage" class="mention hashtag" rel="tag">#<span>SurveyPage</span></a><br />• <a href="https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2022/06</span><span class="invisible">/12/survey-of-theme-one-program-4/</span></a></p><p>A program I worked on all through the 80s aimed to develop <a href="https://mathstodon.xyz/tags/Algorithms" class="mention hashtag" rel="tag">#<span>Algorithms</span></a> and <a href="https://mathstodon.xyz/tags/DataStructures" class="mention hashtag" rel="tag">#<span>DataStructures</span></a> for integrating <a href="https://mathstodon.xyz/tags/EmpiricalLearning" class="mention hashtag" rel="tag">#<span>EmpiricalLearning</span></a> and <a href="https://mathstodon.xyz/tags/LogicalReasoning" class="mention hashtag" rel="tag">#<span>LogicalReasoning</span></a>. I had earlier developed programs for <a href="https://mathstodon.xyz/tags/Learning" class="mention hashtag" rel="tag">#<span>Learning</span></a> <a href="https://mathstodon.xyz/tags/TwoLevelFormalLanguages" class="mention hashtag" rel="tag">#<span>TwoLevelFormalLanguages</span></a> and for <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="tag">#<span>PropositionalLogic</span></a> <a href="https://mathstodon.xyz/tags/ConstraintSatisfaction" class="mention hashtag" rel="tag">#<span>ConstraintSatisfaction</span></a> based on C.S. <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a>&#39;s <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#<span>LogicalGraphs</span></a>. Getting those 2 faculties to work together meant integrating the ways of <a href="https://mathstodon.xyz/tags/Empiricism" class="mention hashtag" rel="tag">#<span>Empiricism</span></a> and <a href="https://mathstodon.xyz/tags/Rationalism" class="mention hashtag" rel="tag">#<span>Rationalism</span></a>.</p><p><a href="https://mathstodon.xyz/tags/ThemeOneProgram" class="mention hashtag" rel="tag">#<span>ThemeOneProgram</span></a> <a href="https://mathstodon.xyz/tags/Learning" class="mention hashtag" rel="tag">#<span>Learning</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="tag">#<span>Reasoning</span></a> <br /><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/FormalLanguages" class="mention hashtag" rel="tag">#<span>FormalLanguages</span></a> <br /><a href="https://mathstodon.xyz/tags/Algorithm" class="mention hashtag" rel="tag">#<span>Algorithm</span></a> <a href="https://mathstodon.xyz/tags/DataStructure" class="mention hashtag" rel="tag">#<span>DataStructure</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="tag">#<span>GraphTheory</span></a> <br /><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/PragmaticSemioticInformation" class="mention hashtag" rel="tag">#<span>PragmaticSemioticInformation</span></a> <br /><a href="https://mathstodon.xyz/tags/Empiricism" class="mention hashtag" rel="tag">#<span>Empiricism</span></a> <a href="https://mathstodon.xyz/tags/Rationalism" class="mention hashtag" rel="tag">#<span>Rationalism</span></a> <a href="https://mathstodon.xyz/tags/Pragmatism" class="mention hashtag" rel="tag">#<span>Pragmatism</span></a> <br /><a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="tag">#<span>ModelTheory</span></a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="tag">#<span>ProofTheory</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <br /><a href="https://mathstodon.xyz/tags/ParallelDistributedProcessing" class="mention hashtag" rel="tag">#<span>ParallelDistributedProcessing</span></a> <a href="https://mathstodon.xyz/tags/PDP" class="mention hashtag" rel="tag">#<span>PDP</span></a> <br /><a href="https://mathstodon.xyz/tags/Grossberg" class="mention hashtag" rel="tag">#<span>Grossberg</span></a> <a href="https://mathstodon.xyz/tags/McClelland" class="mention hashtag" rel="tag">#<span>McClelland</span></a> <a href="https://mathstodon.xyz/tags/Rumelhart" class="mention hashtag" rel="tag">#<span>Rumelhart</span></a></p>