The IASE Research Program
The Institute for Advanced Science & Engineering.
IASE pursues a scientific explanation of experience in nature, of its characterization as sense and the behaviors that arise in biophysics. We conduct basic research in the foundations of logic and apprehension as the vehicle of this inquiry. In essence, our work is logic informed by new data in biophysics. Indeed, we view logic as the natural science of theoretical biophysics.
In engineering terms we are focused upon the general recognition problem and the decision problem across large scale "parallel" data and inputs in biophysical and computational systems.
Experience necessarily plays a role in nature; we seek to identify and elucidate that role. We propose that the mechanism responsible for the characterization of sense (how a particular sense is constructed and modified) and covariant response potentials is a differentiation upon biophysical structure. The elements of this structure are, in mathematical terms, closed manifolds and, in biophysical terms, cell and multicellular membranes. This mechanism is investigated by the review of new experimental data becoming available in biophysics and by the development of theories that enable the reproduction of these dynamic structures.
A novel approach
Our approach is novel. We propose that the basis of experience has a universal effect upon biophysical structures of the kind we investigate, allowing the differentiation mechanism we propose, and that this effect may be characterized in a mathematical calculus and observed. Further, this model of apprehension and the properties of these manifolds impact the laws of natural logic.
Our work enables us to consider the analysis and reproduction of such behavior and leads us to propose solutions that inform the mathematical and physical sciences, and practical concerns in medicine and machine engineering. These solutions enable us to propose new technologies, machines that experience.
Progress since 2006 is significant and we are now focused upon the development of a substantial mathematical foundation for the theories and evidence that we pursue.
A broad program.
Our primary effort remains focused upon the foundations of logic and apprehension informed by new data in biophysics, the broader program is the product of this effort.
The Foundations Of Logic And Apprehension
The theoretical basis of natural reasoning and computation.
Successful theories will both inform biophysics concerning the characterization of sense and bound response potentials and enable the reproduction of the structures so described, leading to a new paradigm for computable logic. The program we pursue currently includes the development of the following formalized components:
- Structure Theory: A theory of apprehension, sensory characterization, and bound response potential in closed manifolds.
- Epistemology: A model in structure theory of that which determines subsequent action (knowledge) in the structures described by the theory.
- Manifold Logic: A symbolic system to enable the mathematical characterization of the dynamics in structure theory.
- Computable Structures: that which is mathematically derived in structure theory.
A Theory Of Sensory Characterization And Structural Dynamics In Biophysics
How sense is characterized and bound with response potentials in theories of individuals.
We develop a physical theory and mathematical calculus to enable the characterization of the structural dynamics associated with sensory characterization and bound response potentials. This includes the identification of the biophysical mechanisms of general recognition from biophysical data.
Structure Theory In Cosmology
The integration of a theory of experience with other theories of nature.
Our consideration with respect to cosmology is the integration of the theories we develop with other theories of nature, such as the theory of evolution and theoretical physics.
Reasoning About Behavior In Social Networks
Theories of individuals in groups.
The development of theories concerning the behavior of sentient individuals in groups with applications in biology, zoology, and social sciences.
Far reaching innovation.
In order to verify and validate our theories we pursue empirical verification and proof in practice.
Computing With Structure
Building machines that experience.
We develop the technologies required to construct machines that experience, they include:
- Translation Theory: The theory behind translating Manifold Logic into Computable Structures.
- Manufacturing Manifold Systems: An exploration of the materials and technologies required to manufacture these machines.
- Configuring Manifold Systems: How to apply such machines for a given purpose.
Applying the theory to medicine.
Our work informs medicine by illustrating the mechanisms of sensory function and motile biophysical behavior.