Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.

Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.

1,697 views

Published on

Published in:
Technology

No Downloads

Total views

1,697

On SlideShare

0

From Embeds

0

Number of Embeds

21

Shares

0

Downloads

8

Comments

0

Likes

2

No embeds

No notes for slide

- 1. A Brief, Incomplete, and Mostly Wrong Introduction to Alan Turing's Work Phil Calçado – SoundCloud @pcalcado http://philcalcado.com
- 2. Sets are weird.
- 3. How many numbers are there between 1 and 3?
- 4. Georg Cantor
- 5. How many numbers are there between 4.4 and 4.5?
- 6. 4.4...0001 4.4...0002 ... 4.49...0001 ...
- 7. Now that's some crazy shit.
- 8. Barbie
- 9. Math is hard, let's go shopping!
- 10. David Hilbert
- 11. For the mathematician there is no Ignorabimus.
- 12. You lazy bastards
- 13. „Wir müssen wissen, und wir werden wissen”
- 14. Given a diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined by a finite number of operations whether the equation is solvable in rational integers. 10. Determination of the Solvability of a Diophantine Equation (Entscheidung der Losbarkeit einer diophantischen Gleichung.)
- 15. 10. Determination of the Solvability of a Diophantine Equation (Entscheidung der Losbarkeit einer diophantischen Gleichung.) Given a diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined by a finite number of operations whether the equation is solvable in rational integers.
- 16. Bertrand Russel
- 17. Sets can contain sets.
- 18. Sets can contain themselves.
- 19. What about the set of all sets that do not contain themselves? Does it contain itself?
- 20. Types of sets: ● Type 1: Sets of stuff that are not sets ● Type 2: Sets of Type 1 sets ● Type 3: Sets of Type 2 sets
- 21. It's not technically cheating...
- 22. Kurt Gödel
- 23. Yo, Russel, I'm gonna let you finish, but no formal system extending basic arithmetic can be used to prove its own consistency.
- 24. Whatever.
- 25. “The end the work was finished, but my intellect never quite recovered from the strain. I have been ever since definitely less capable of dealing with difficult abstractions than I was before. This is part, though by no means the whole, of the reason for the change in the nature of my work.”
- 26. Alan Turing
- 27. “It is of fundamental importance for the character of this problem that only mechanical calculations according to given instructions [...] are admitted as tools for the proof.”
- 28. Imagine a machine.
- 29. It reads and writes from and to an infinite paper tape.
- 30. The tape is the machine's memory.
- 31. It writes to the tape accordingly to some simple rules defined by configuration.
- 32. Now imagine a machine that can simulate other machines.
- 33. By reading the desired configuration from the tape.
- 34. Question: Is it possible to create a machine that examines another machine's configuration and input and verify if it halts?
- 35. “There's no general process for determining whether the machine might scan a character it's not expecting, or gets into an infinite loop printing blanks, whether it crashes, burns, goes belly up, or ascends to the great bit bucket in the sky.”
- 36. tl;dr: No, sorry.
- 37. Now imagine a machine that can simulate other machines. By reading the desired configuration from the tape.
- 38. i.e. Imagine a general-purpose computer.
- 39. Howard H. Aiken
- 40. “If the basic logics of a machine designed for solution of equations coincide with the logics of a machine for a department store, I'd regard this as the most amazing coincidence I've ever encountered.”
- 41. http://amzn.to/s7mx97
- 42. http://amzn.to/sLiy1Y
- 43. http://amzn.to/rFpXVk
- 44. http://bit.ly/s643dS
- 45. http://soundcloud.com/jobs

No public clipboards found for this slide

×
### Save the most important slides with Clipping

Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.

Be the first to comment