Posts tagged ‘checking proofs’
a personal view of the theory of computation
Subscribe to Gödel’s Lost Letter
Our Book
Click image for our page, with errata and links.
Recent Comments
Jon Awbrey on A Question J.P. McCarthy on A Question Latif Salum on A Question Jon Awbrey on A Question Frank on A Question Adam on Rabin has just passed away Frank Vega on P=NP and Bitcoin Frank Vega on P=NP and Bitcoin Frank Vega on P=NP and Bitcoin Wayne Shanks on Biblical Codes Frank Vega on P=NP and Bitcoin Frank Vega on P=NP and Bitcoin Frank Vega on Limits On Matrix Multiplicatio… Frank Vega on P=NP and Bitcoin Frank Vega on P=NP and Bitcoin Sitemeter
