MetaLambdas are cross-platform functions which accompany computational lifeforms such as those anticipated by Von
Neumann in his Universal Constructor Theory. They have been used to build the
Game of MetaLife in collaboration with
Peter Suber, the inventor of Nomic. In short, the Game of MetaLife is a multidimensional
version of Conway's Game of Life in which each cellular automaton may have embedded lambda calculus that controls
its movements and genetic propagation strategy.
Within the
Multiversal Mainframe, this is used to populate
metaverses.
Additionally, we are using this to test the
Zuse Hypothesis and are working with the Wolfram Institute on
ruliad research.
