Talk:Gödel machine

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
Low	This article has been rated as Low-importance on the project's importance scale.
	This article is supported by WikiProject Software (assessed as Low-importance).

Artificial Intelligence

	This article is within the scope of WikiProject Artificial Intelligence, a collaborative effort to improve the coverage of Artificial intelligence on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Artificial IntelligenceWikipedia:WikiProject Artificial IntelligenceTemplate:WikiProject Artificial IntelligenceArtificial Intelligence
???	This article has not yet received a rating on the project's importance scale.

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

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

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)Reply