The Big Picture

1
The Big Picture

• Why were 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