Posts

Showing posts with the label Algorithms

NP on Logarithmic Space

Image
John Forbes Nash Jr.   NP on Logarithmic Space (Proof of the P versus NP problem)   In 1955, the well-known mathematician John Nash wrote to the United States National Security Agency about a problem that had major implications for security and scientific development. A short time later Gödel, one of the most important mathematical logicians, came to the same conclusion and wrote a letter to John von Neumann explaining about the same problem and its relation to computational and mathematical topics. John von Neumann had a successful career in this field at that time: unfortunately he promptly died of cancer and Gödel's letter was never answered. It took decades later for the American mathematicians Stephen Cook and Russian Leonid Levin could be able to independently introduce and formulate this problem during the "scientific race" of the Cold War. The problem was called P versus NP and it consisted of knowing whether computers were capable or not of solving pr...