Posts tagged ‘computer 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
rjlipton on An Open Problem Jordan on An Open Problem Jon Awbrey on An Open Problem Blog Runner on An Open Problem William Gasarch on An Open Problem DL on An Open Problem Jon Awbrey on An Open Problem An Open Problem | Gö… on Cargo Cult Redo Peter Gerdes on Women in Math Research Peter Gerdes on Women in Math Research rjlipton on Women in Math Research Cristóbal Camarero on Women in Math Research Yasu on A Big Result On Graph Isomorph… Yuly Shipilevsky on Guggenheim 2024 Blog Runner on 2023 Turing Award Sitemeter
