1 / 4

The Big Picture

The Big Picture. Why we’re really interested in clustering proofs of theorems Manuel Blum, Matt Humphrey, Brendan Juba, Ryan Williams. Deep Questions…. Are you conscious? Are rocks conscious? Are dogs conscious? Can machines be conscious?. WHO KNOWS? WHAT DO THESE QUESTIONS EVEN MEAN??.

jesicag
Download Presentation

The Big Picture

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. The Big Picture Why we’re really interested in clustering proofs of theorems Manuel Blum, Matt Humphrey, Brendan Juba, Ryan Williams

  2. Deep Questions… • Are you conscious? • Are rocks conscious? • Are dogs conscious? • Can machines be conscious? WHO KNOWS? WHAT DO THESE QUESTIONS EVEN MEAN??

  3. Reformulating the Questions • Informally, we wish to isolate the behavioral or physical aspects… • … from questions about what an entity really “thinks” or “feels” • Assume a formal system can be conscious. SCIENCE PHILOSOPHY • Define “CONSCSness” for formal systems • CONSCS: CONceptualizing Strategizing Control Systems • New question: “What is CONSCSness?”

  4. The Big Picture… • We aim to cluster similar proofs • Similar proofs, together with their theorems, comprise a strategy • We require CONSCS entities be capable of utilizing these strategies. • Defining CONSCSness is an attempt to formally study consciousness. • We hope to gain insight into some of those “deep questions”

More Related