.Open Class Meeting 08 -- Review Turing Machines and the Halting Problem
. Context

.Table Date
.Item Meet'g
.Item $Study(2 pts)
.Item Bring(5 pts)
.Item $Topic(5 pts)
.Item Notes
.Row Mon Apr 24
.Item Previous
.Item Chapter 8 sections 8.5, 8.6
.Item Ex
.Item Restricted $TM
.Row Wed Apr 26
.Item Today
.Item Chapter 8 section 8.7+$Minsky
.Item $Ex 
.Item The Halting Problem
.Item Start $Project
.Row Next
.Item 9
.Item $Web2
.Item URL
.Item Recursive Functions
.Item Acker(10 pts Bonus)
.Close.Table
.Open Chapter 8.7 -- summary of chapter 8
Any questions?
. Wot, No exercises?
See below
. Ex
1. Use the web to find out about Marvin Minsky... bring your discovery
to class and use the Submit "button" to send me a URL.  This also
counts
as credit for a question on the handout.

2. Prove that TM which doesn't always move its head can be simulated by a normal TM.
In other words, we have transition that read ( newstate, new symbol, -)
indicating that the head does not move but the state and symbol changes.
What is the effect of the simulation on run time, number of states, etc..

CS646 can credit for either exercise.
.Close

.Open Minsky
. Marvin Minsky
.See http://www.answers.com/topic/marvin-minsky
From: Mike Schick

. Minsky at MIT
.See http://web.media.mit.edu/~minsky/
From: Jedidah Mwangi

. Marvin Minsky Biography
.See http://web.media.mit.edu/~minsky/minskybiog.html
From: Scott McAllister
. Minsky -- Conscious Machines
.See http://kuoi.asui.uidaho.edu/~kamikaze/doc/minsky.html
From: Brian Wildrick

. Why People Think Computers Can't Think
.See http://web.media.mit.edu/~minsky/papers/ComputersCantThink.txt
From: Brian Strader

. Alienable Rights
.See http://web.media.mit.edu/~minsky/papers/Alienable%20Rights.html
From: Moe S.
. Minsky Quote on Education
.See http://www.netads.com/~meo/hs/minski.html
From: Minhchau Dang


.Open  Minsky interviews by G4TV
From: Jason Hunt
. Q&A: Marvin Minsky on the Future of AI, 2/27/04
.See http://www.g4tv.com/screensavers/features/621/QA_Marvin_Minsky_on_the_Future_of_AI.html
(text, 2 pages)

. Minsky on The Screen Savers TV show, 3/1/04
.See http://www.g4tv.com/pile_player.aspx?video_key=8390
(Flash Player video, ~10min)

.Close
. MINDS ARE SIMPLY WHAT BRAINS DO
.See http://www.leaderu.com/truth/2truth03.html
From:  Stephen Collins
. EBook -- Minsky on the Movie Set
.See http://mitpress.mit.edu/e-books/Hal/chap2/two1.html
From: Jacob Pitassi
. The Emotion Universe
Thoughts on why progress has been so limited in the subject of Artificial Intelligence:
.See http://www.kurzweilai.net/meme/frame.html?main=/articles/art0532.html
From: Raini Armstrong

.Close Minsky

. Ch 8.7+Minsky pp  -- Deadline for class 8
Fewer points after this message arrives.




.Close Class Meeting 08 -- Review Turing Machines and the Halting Problem
. Next -- Recursive Function Theory
(Web2): Search the web for pages on recursive functions, partial recursive functions, primitive recursive functions,
recursively enumerable, recursive languages, and recursion in general. Submit one URL. 
.See ./09.html