Class 11:
Exams; Robotics; Math Objection; Future

Selmer Bringsjord

Logistics

• Midterm
  • get info from Ralph online!
  • #s 5, 18, 20
• practice final $\ldots$
• time & place of final exam
  • studio audience: Thurs 6/24 2-5pm here
  • delay home audience: Wed 6/30 2-5pm
    • reach me during that time through 518.276.8105

Robotics

• How smart how fast?
  • Turing Testing for sub-persons
  • Zombanimals
  • LEGObots as zombanimals
  • can be scaled up to persons?
• Good for what?
  • ``Augmentation"_Aliens
  • Telepresence
    • a physical wumpus world

The Math Objection

• The Liar Paradox
  • on two-sided paper
  • call Ralph & JR9000 $\ldots$
  • show proof in Hyperproof
  • Norman goes kaput_startrek
• The Gödelian Puzzles

Godelian Puzzle 1

see section on Puzzles on web site

Godelian Puzzle 2

see section on puzzles on web site

• A Sophisticated Mathematical Objection
  • The Halting Problem
    • Turing's World example: the Chaos Machine
    • HP formalized$\ldots$
    • The Impenetrable Machine$\ldots$
    • The Objection Sketched$\ldots$

• The Future$\ldots$