Home › 2016 › September
Monthly Archives: September 2016

Gödel’s Lost Letter and P=NP | a personal view of the theory of computation

Posted on September 26, 2016 by Vikash Kodati — Leave a comment

https://rjlipton.wordpress.com/

Posted in Science and Tech

A Proof Of The Halting Theorem

Posted on September 23, 2016 by Vikash Kodati — Leave a comment

Toward teaching computability and complexity simultaneously Large Numbers in Computing source Wilhelm Ackermann was a mathematician best known for work in constructive aspects of logic. The Ackerma… Source: A Proof Of The Halting Theorem

Posted in Science and Tech