undecidability-tangent-history-of-undecidability-part-1-computerphile

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

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

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

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

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

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

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

Dr Ayla Göl
@iladylayla

A good tool for supporting active #learning.

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