Research › Computation
The theories here are architectural, so they can be built and run. This page collects the code that tests them, the earlier work on simulation and optimization, and the work on what any describer inside a system cannot know.
crucible tests the Four-Model Theory in code: small, falsifiable experiments on rate networks, spiking networks, simulated bodies and one small quadruped robot. Hypotheses and analyses are committed before the data exist, and null results count.
For computer-science students
Run a registered experiment
Small, falsifiable tests of the theory in code. Register first, run the grid, return every row.
How it works →
CodeaIware on GitHub ↗Theory sources, papers and tooling
Book
The Limits of Mathematics and Logic From Any First-Person Perspective
Every observer is a proper part of what it describes. The book follows that fact through mathematics, logic and physics, and asks which limits it imposes on any describer, human or machine. 15 chapters, open access (CC BY-NC-ND 4.0).
Stored Trajectories and the Triviality Problem
If a simulated organism has experience, a static record of its whole trajectory has the same experience. Triviality is blocked by counting the decoding map as an object in the world. Developed from Chapter 14 of No Outside.
Project ProDSS, COMET K-Project, Integrated Decision Support Systems for Industrial Processes
Sichere Hashfunktionen bei Concurrent Versioning Systems (CVS) und Online-Update-Systemen
An Initial Experiment