Welcome to Clip from Spiral logo

Interactive video lesson plan for: Undecidability Tangent (History of Undecidability Part 1) - Computerphile

Activity overview:

What was the first undecidable problem? Professor Brailsford takes us on a computerphile tangent & gives us his angle on a pre-computer example of undecidability.

Note from Professor Brailsford: a couple of corrections for this film:
1/ "... early 18th Century" for Gauss should be " ... early 19th century"
2/ "... 100 years ago" for Newton should be "... 100 years before Gauss

3/ The Greek word I was struggling with was "Boeotians". I have now taken expert advice which tells me that the "oe" is pronounced "ee" as in "Oedipus". Hence a reasonable approximation to the correct pronunciation is "Bee-oh-shuns"

4/ In my excitement to get the message across I sometimes refer, in the video, to Euclid's 5th axiom being a "proposition". However it is more accurately a "postulate" i.e. something which should be provable from the other axioms/postulates of the Euclidean system. The fact that it can't be thus proved means that the other axioms are insufficiently powerful to prove it -- hence it is "undecidable" within that axiom system."

Riemann Hypothesis – Numberphile: http://youtu.be/d6c6uIyieoo
Fermat's Last Theorem – Numberphile: http://youtu.be/qiNcEguuFSA
Turing & The Halting Problem: http://youtu.be/macM_MtS_w4


http://www.facebook.com/computerphile
https://twitter.com/computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: http://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. See the full list of Brady's video projects at: http://bit.ly/bradychannels

Tagged under: computers,computerphile,Mathematics (Field Of Study),Undecidable Problem,computer,computer science,history undecidability,turing,numberphile,Euclidean Geometry (Field Of Study),Geometry (Field Of Study)

Clip makes it super easy to turn any public video into a formative assessment activity in your classroom.

Add multiple choice quizzes, questions and browse hundreds of approved, video lesson ideas for Clip

Make YouTube one of your teaching aids - Works perfectly with lesson micro-teaching plans

Play this activity

1. Students enter a simple code

2. You play the video

3. The students comment

4. You review and reflect

* Whiteboard required for teacher-paced activities

Share on:

Share Undecidability Tangent (History of Undecidability Part 1) - Computerphile on Google+ Share Undecidability Tangent (History of Undecidability Part 1) - Computerphile on Twitter Share Undecidability Tangent (History of Undecidability Part 1) - Computerphile on Facebook Pin Undecidability Tangent (History of Undecidability Part 1) - Computerphile Email Undecidability Tangent (History of Undecidability Part 1) - Computerphile

Ready to see what else Spiral logo can do?

With four apps, each designed around existing classroom activities, Spiral gives you the power to do formative assessment with anything you teach.

Quickfire

Carry out a quickfire formative assessment to see what the whole class is thinking

Discuss

Create interactive presentations to spark creativity in class

Team Up

Student teams can create and share collaborative presentations from linked devices

Clip

Turn any public video into a live chat with questions and quizzes

1000s of teachers use Spiral to deliver awesome, engaging activities that capture students' understanding during lessons.

Now it's your turn Sign up

Spiral Reviews by Teachers and Digital Learning Coaches

Spiral
Review of Spiral by teacher: Kathryn Laster @kklaster

Tried out the canvas response option on @SpiralEducation & it's so awesome! Add text or drawings AND annotate an image! #R10tech

Spiral
Review of Spiral by teacher: Room 220 Math Stars @3rdgradeBCE

Using @SpiralEducation in class for math review. Student approved! Thumbs up! Thanks.

Spiral
Review of Spiral by teacher: Miss Ord @ordmiss

Absolutely amazing collaboration from year 10 today. 100% engagement and constant smiles from all #lovetsla #spiral

Spiral
Review of Spiral by teacher: Adam J. Stryker @strykerstennis

Students show better Interpersonal Writing skills than Speaking via @SpiralEducation Great #data #langchat folks!

Spiral
Review of Spiral by teacher: Dr Ayla Göl @iladylayla

A good tool for supporting active #learning.

Spiral
Review of Spiral by teacher: Brett Erenberg @BrettErenberg

The Team Up app is unlike anything I have ever seen. You left NOTHING out! So impressed!

Get the Clip Chrome Extension & Create Video Lessons in Seconds

Add Clip to Chrome