A Relation-Sign shall be called Decision-Definite: “On formally undecidable propositions of Principia Mathematica and related systems I.” Kurt Gödel’s paper on mathematical logic published 17 December, 1930. The document, 22 pages, can be found at: www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf Image: Top Quark: “The circle shows a computer-generated view of a potential top quark signature, with particle tracks emerging from the center of a collision between protons and antiprotons at a combined energy of nearly 2 trillion electron volts.” – photo and caption, Fermilab

decision-definite