1 / 6

Lucas: Minds, Machines and Goedel

Explore the intersections of computation, mind theory, and paradoxes like Goedel’s. Delve into Lucas's and Penrose’s applications. Discover the essence of "I am not provable."

didonatoe
Download Presentation

Lucas: Minds, Machines and Goedel

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Lucas: Minds, Machines and Goedel Are the limits on computation limits on the computational theory of mind?

  2. Precursors to Goedel’s Proof • Epimenides Paradox: “All Cretans are Liars” • “This statement is false” • “This statement has five words” • The set of all sets that do not contain themselves as subsets • Halting problems

  3. Goedel’s Theorem • True of formal systems strong enough to include arithmetic • Completeness, Consistency • Goedel-numbering • “There is no number such that it is the Goedel number of the proof of the statement with Goedel number X” [X] • (“I am not provable.”)

  4. Lucas’s Application of Goedel’s Proof • Suppose that all mental processes are computations • We know you cannot compute the truth of a Goedel statement • Yet we know the statement is true • That knowledge is not computable • Hence not all mental processes are computations

  5. Penrose’s Extension • Creative mathematicians “see” the truth of theorems before they can prove them • Classical vs. “Quantum Computation” • Russell/James on “mathematical intuition” • “The Smell of Petroleum Pervades Throughout”

  6. Seeing, Knowing, Proving, Computing • Seeing the truth of “I am not computable” • Knowing the truth of “I am not computable” • Proving the truth of “I am not computable” • Computing the truth of “I am not computable” • Computability vs. Computationality • Feeling vs. Proving

More Related