Talk:Gödel machine

"more optimal" - surely this is an oxymoron!79.67.251.252 (talk) 20:19, 11 December 2014 (UTC)

Does the "LessWrong" blog really count as an acceptable source for Wikipedia? GreatBigDot (talk) 20:51, 13 June 2017 (UTC)

Re Limitations: "Any formal system that encompasses arithmetic is either flawed or allows for unprovable but true statements.[3] Hence even a Gödel machine with unlimited computational resources must ignore those self-improvements whose effectiveness it cannot prove" Is this correct? conflates provability with effectiveness, why would the Godel machine care about provability if it's goal is optimization? — Preceding unsigned comment added by 74.79.133.106 (talk) 23:40, 5 March 2019 (UTC)