Between 1993 and 2000 under the direction of Richard Shoup the Natural Computing Project at Paul Allen's Interval Research Corporation applied LoF to the creation of formal computation from first principles.
VIMEO 361994800 The Design of Computation — William Bricken
The goal was to develop a thorough understanding of LoF while building a complete suite of verifiable and efficient software and hardware design tools. We built a LoF engine that achieved proof without propositional or predicate calculus and a software and silicon design optimizer. We discovered new computational methods and perspectives, including — void-based reasoning that treats selected structure as meaningless, — deep pattern-directed transformation that ignores function boundaries, — imaginary query-based reduction that locates redundancy without symbolic manipulation, — logic engines that can run both sequentially and asynchronously in distributed environments, — several completely new hardware architectures, and — postsymbolic mathematical models of computation. These tools outperformed commercial silicon design tools on million transistor sequential and logic circuits, but our primary objective was provably error-free computation for multilevel sequential logic synthesis and optimization. When Interval closed, we were in the process of transferring the computational suite to reconfigurable hardware. Dr. Bricken has spent over 40 years developing the tools and techniques of boundary mathematics. Ph.D. in Research Methods, Educational Psychology and Computer Science from Stanford University.