PSR B1620-26 PSR B1620-26 PSR B1620-26 is a binary star system located at a distance of 3,800 parsecs (12,400 light-years) in the globular cluster of Messier 4 (M4, NGC 6121) in the constellation of Scorpius. The system is composed of a pulsar (PSR B1620-26 A) and a white dwarf star (WD B1620-26 or PSR B1620-26 B). As of 2000, the system is also confirmed to have an extrasolar planet orbiting the two stars. The double system ("triple" including the substellar companion) is just outside the core of the globular cluster. The age of the cluster has been estimated to be about 12.2
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