Lambda cube are replaced by faces, as well as a dual representation as a dodecahedron, where the 12 edges are replaced by faces. Lambda cube In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Thierry Coquand's calculus of constructions, starting from the simply typed lambda calculus (written as λ→ in the cube diagram) as the vertex of a cube placed at the origin, and the calculus of constructions (higher-order dependently typed polymorphic lambda calculus; written as λPω in the diagram) as its diametrically opposite vertex. Each axis of the cube represents a new
Necker cube "Factoring Humanity" that "Necker" becomes a verb, meaning to impel one's brain to switch from one perspective or perception to another. The Necker cube is used to illustrate how vampires in the science fiction novels "Blindsight" and "Echopraxia" have superior pattern recognition skills. One of the pieces of evidence is that vampires can see both interpretations of the Necker Cube simultaneously which sets them apart from baseline humanity. Citations Necker cube The Necker cube is an optical illusion first published as a rhomboid in 1832 by Swiss crystallographer Louis Albert Necker. It is a simple wire-frame drawing of a cube