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!
A good tool for supporting active #learning.
The Team Up app is unlike anything I have ever seen. You left NOTHING out! So impressed!