Kuhn (Princeton Univ) launched the theory of NLP in 1950 Later on, it turned out that this theorem had been proved already: First in 1939 in a MSc thesis by William Karush supervised by Lawrence M. Graves (Univ Chicago) Second in 1948 by Fritz John in a paper rejected by the Duke ...