Meinungen, Machines und Gödel sind 1959 von J. R. Lucas philosophisches Papier, in dem er behauptet, dass ein menschlicher Mathematiker durch einen algorithmischen Automaten nicht genau vertreten werden kann. An den Unvollständigkeitslehrsatz von Gödel appellierend, behauptet er, dass für jeden solchen Automaten es eine mathematische Formel geben würde, die es nicht beweisen konnte, aber die der menschliche Mathematiker, und Show sowohl sehen konnte, um wahr zu sein.

Das Papier ist ein Argument von Gödelian über den Mechanismus.

Lucas hat den Vortrag 1959 nach Oxford Philosophische Gesellschaft gehalten. Es wurde zuerst in der Philosophie, XXXVI, 1961 gedruckt, dann im Modellieren von Meinung, Kenneth M. Sayre und Frederick J. Crosson, Hrsg., Notre Dame Press, 1963, und in Meinungen und Maschinen, Hrsg. Alan Ross Anderson, Prentice-Saal, 1964, internationale Standardbuchnummer 0135833930 nachgedruckt.

Siehe auch

• Künstliche Intelligenz
• Philosophie der künstlichen Intelligenz

Links

• Meinungen, Machines und Gödel — das ursprüngliche Papier