184

Nagel and Newman, Gödel’s Proof, 112.

185

John McCarthy, Marvin Minsky, Nathan Rochester, and Claude Shannon, “A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence”, August 31, 1955, 1. http://web.cs.swarthmore.edu/~meeden/cs63/f11/AIproposal.pdf.

Назад: 183

Дальше: 186