Download presentation

Presentation is loading. Please wait.

Published byHector Shadrick Modified over 3 years ago

1
Turing’s halting problem Danny Brown

2
Barber paradox

3
Barber program BARBER(p) If SHAVE(p,p) = N Then SHAVE(barber,p) = Y Else SHAVE(barber,p) = N END

4
Barber program What happens when we compute BARBER(barber)?

5
Barber program BARBER(barber) If SHAVE(barber,barber) = N Then SHAVE(barber,barber) = Y Else SHAVE(barber,barber) = N END

6
Barber program …so what’s the conclusion?

7
Halting program TEST(p) If HALT(p,p) = N Then HALT(test,p) = Y Else HALT(test,p) = N END

8
Halting program TEST(p) If HALT(p,p) = N Then HALT(test,p) = Y STOP Else LOOP END

9
Halting program TEST(test)…?

10
Halting program TEST(test) If HALT(test,test) = N Then HALT(test,test) = Y STOP Else LOOP END

11
Halting program …so what’s the conclusion?

12
Cantor’s diagonal argument #10.3521… #20.1150… #30.6241… #40.5388… ………………… …

13
Cantor’s diagonal argument #10.3521… #20.1150… #30.6241… #40.5388… ………………… …

14
Cantor’s diagonal argument #10.3521… #20.1150… #30.6241… #40.5388… ………………… #N+10.1211…

15
Continuum Hypothesis

16
Can’t be disproved (Godel 1940) …and can’t be proved (Cohen 1963)

Similar presentations

OK

Russell’s Paradox and the Halting Problem Lecture 24 Section 5.4 Wed, Feb 23, 2005.

Russell’s Paradox and the Halting Problem Lecture 24 Section 5.4 Wed, Feb 23, 2005.

© 2018 SlidePlayer.com Inc.

All rights reserved.

To ensure the functioning of the site, we use **cookies**. We share information about your activities on the site with our partners and Google partners: social networks and companies engaged in advertising and web analytics. For more information, see the Privacy Policy and Google Privacy & Terms.
Your consent to our cookies if you continue to use this website.

Ads by Google

Ppt on sources of water pollution Ppt on power trading in india Ppt on tsunami early warning system Ppt on prepaid energy meter Ppt on bodybuilding Ppt on sources of energy for class 8th Ppt on secret of success Ppt on ecology and environment Free ppt on moving coil galvanometer experiment Ppt on fire extinguisher types video