Light-year Light-year The light-year is a unit of length used to express astronomical distances and measures about 9.46 trillion kilometres or 5.88 trillion miles. As defined by the International Astronomical Union (IAU), a light-year is the distance that light travels in vacuum in one Julian year (365.25 days). Because it includes the word "year", the term light-year is sometimes misinterpreted as a unit of time. The light-year is most often used when expressing distances to stars and other distances on a galactic scale, especially in nonspecialist and popular science publications. The unit most commonly used in professional astrometry is the parsec
Wolfram's 2-state 3-symbol Turing machine universal, though the proof was initially disputed. The following table indicates the actions to be performed by the Turing machine depending on whether its current state is A or B, and the symbol currently being read is 0, 1 or 2. The table entries indicate the symbol to be printed, the direction in which the tape head is to move, and the subsequent state of the machine. The (2,3) Turing machine: Minsky (1967) briefly argued that standard (2,2) machines cannot be universal and M. Margenstern (2010) provided a mathematical proof based on a result by L. Pavlotskaya in 1973 (not