Table of Contents
Lucas: Minds, Machines and Goedel
Precursors to Goedelís Proof
Goedelís Theorem
Lucasís Application of Goedelís Proof
Penroseís Extension
Seeing, Knowing, Proving, Computing
|
Author: Harnad Stevan
Email: someone@microsoft.com
Download presentation source
|