Memristor Archives


2 3 Universal Turing Machine proof

The 2 3 Turing Machine proof challenge from Wolfram has been proven! The simplest possible universal Turing Machine may now advance. thanks to Alex Smith, a 20-year-old undergraduate from Birmingham, UK, who produced a 40-page proof. There is still some controversy and time awaits the peer review, but..

Grigori Perelman and the Poincare conjecture

A Russian mathematician by the name of Grigory Perelman proposed a proof of the Poincaré Conjecture in 2003, but only this last year have peers begun to come to the conclusion that he is correct. A recent article details some of the current talking points in the Great Debate.