Scanning electron microscopeA scanning electron microscope (SEM) is a type of electron microscope that produces images of a sample by scanning the surface with a focused beam of electrons. The electrons interact with atoms in the sample, producing various signals that contain information about the surface topography and composition of the sample. The electron beam is scanned in a raster scan pattern, and the position of the beam is combined with the intensity of the detected signal to produce an image.
Dynamical billiardsA dynamical billiard is a dynamical system in which a particle alternates between free motion (typically as a straight line) and specular reflections from a boundary. When the particle hits the boundary it reflects from it without loss of speed (i.e. elastic collisions). Billiards are Hamiltonian idealizations of the game of billiards, but where the region contained by the boundary can have shapes other than rectangular and even be multidimensional.
Freeman DysonFreeman John Dyson (15 December 1923 – 28 February 2020) was a British-American theoretical physicist and mathematician known for his works in quantum field theory, astrophysics, random matrices, mathematical formulation of quantum mechanics, condensed matter physics, nuclear physics, and engineering. He was professor emeritus in the Institute for Advanced Study in Princeton and a member of the board of sponsors of the Bulletin of the Atomic Scientists.
Interactive proof systemIn computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties: a prover and a verifier. The parties interact by exchanging messages in order to ascertain whether a given string belongs to a language or not. The prover possesses unlimited computational resources but cannot be trusted, while the verifier has bounded computation power but is assumed to be always honest.
Astronomical engineeringEngineering on an astronomical scale, or astronomical engineering, i.e., engineering involving operations with whole astronomical objects (planets, stars, etc.), is a known theme in science fiction, as well as a matter of recent scientific research and exploratory engineering. In the Kardashev scale, Type II and Type III civilizations can harness energy on the required scale. This can allow them to construct megastructures.
MegastructureA megastructure is a very large artificial object, although the limits of precisely how large vary considerably. Some apply the term to any especially large or tall building. Some sources define a megastructure as an enormous self-supporting artificial construct. The products of megascale engineering or astroengineering are megastructures. The lower bound of megastructural engineering might be considered any structure that has any single dimension 1 megameter (1000 km) in length.
Matrioshka brainA matrioshka brain is a hypothetical megastructure of immense computational capacity powered by a Dyson sphere. It was proposed in 1997 by Robert J. Bradbury (1956–2011). It is an example of a class-B stellar engine, employing the entire energy output of a star to drive computer systems. This concept derives its name from the nesting Russian matryoshka dolls. The concept was deployed by Bradbury in the anthology Year Million: Science at the Far Edge of Knowledge.
