Clik here to view.
Survey of Theme One Program • 1
This is a Survey of previous blog and wiki posts on the Theme One Program that I worked on all through the 1980s. The aim of the project was to develop fundamental algorithms and data structures to...
View ArticleClik here to view.
Animated Logical Graphs : 7
Re: Ken Regan • The Shapes of Computations There are several issues of computation shape and proof style that raise their heads already at the logical ground level of boolean functions and...
View ArticleClik here to view.
Animated Logical Graphs : 8
Re: Ken Regan • The Shapes of Computations The most striking example of a “Primitive Insight Proof” (PIP❢) known to me is the Dawes–Utting proof of the Double Negation Theorem from the CSP–GSB axioms...
View ArticleClik here to view.
Animated Logical Graphs : 9
Re: Ken Regan • The Shapes of Computations The insight that it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet...
View ArticleSurvey of Theme One Program • 2
This is a Survey of previous blog and wiki posts on the Theme One Program that I developed all through the 1980s. The aim of the project was to develop fundamental algorithms and data structures to...
View Article
