numberphile sum of natural numbers 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

numberphile sum of natural numbers Undecidability Tangent (History of Undecidability Part 1) - Computerphile
2,695 Likes	2,695 Dislikes
125,573 views views	1.48M followers
Education	Upload TimePublished on 19 Sep 2014

Related keywords

turing test game,hardwareswap,computer keyboard,computers for sale near me,computer science classes,programming logic and design,programming language examples,computerphile lambda calculus,science magazine,software company in bangladesh,programming language,numberphile 1+2+3+4,numberphile good will hunting,computer science minor,hardware store nearby,software development company in bangladesh,science and mathematics as interdisciplinary field of study,hardware store,computerphile passwords,computer source,computer science major,mathematics field of study,hardware monitor,hardware definition,computerphile maze,software lock,turing fest,computer science degree,software for pc,computerphile time zones,computer science,programming quotes,numberphile wiki,computershare forms,numberphile james grime,software vidmate,programming concepts,computerphile youtube,softwares,programming languages list,computer science careers,numberphile meaning,hardware near me,computer science schools,programming cycle,programming software,hardware freight,hardware cloth,computer apps,computershare phone number,science museum london,programming flowchart,hardware acceleration,software architecture,turing test,numberphile reddit,turing phone,programming tutorial,hardware store near me,software imo,programming grammar,computers for kids,turing test questions,science fiction lyrics,hardware hank,science daily,hardware sales,computerphile blockchain,programming codes,software messenger,science research,turing apartments,computer science degree jobs,computershare employee,numberphile merch,turing award 2019,computerphile cross site scripting,computer science resume,computershare,computers for sale,software download,science fiction,hardware movie,computer games,computershare login,computerphile encryption,programming paradigms,turing machine,hardware cloth lowes,science en español,computerphile sql,computer table,computer software,turing complete,computershare ups,turing tumble uk,numberphile 301,numberphile 意味,turing award,http://www.computershare.com/investor,computer sciences corporation,programming logic and design pdf,computer science colleges,science advances,computer science degree online,hardware for cabinets,numberphile 1+2+3,hardware engineer,science direct elsevier,software testing,numberphile golden ratio,computers at best buy,computer composition,computer science definition,science bits,hardware hawaii,computershare inc,programming for beginners,computer science masters,programming basics,computer virus,computer price in bangladesh,computer science and engineering,computers near me,software definition,numberphile podcast,computerphile recursion,computerphile diffie hellman,science of the total environment,computer engineering,programming meaning,science fiction movies,numberphile pi,computer mania,programming 1,computers in human behavior,software engineer,computers with causes,turing house school,computer course,numberphile 1/12,computers plus,computerphile grep,computer science jobs near me,software apps,sciencealert,software engineer salary,turing school,computer training center,computer hardware,computerphile rsa,science news,turing tumble,turing meaning,turing movie,science traduccion,turing institute,computerphile dijkstra,computer science vs computer engineering,science direct,numberphile card trick,turing test online,computer village,software development life cycle,turing pharmaceuticals,computer paragraph,geometry (field of study),programming language definition,sciences po,hardware hut,computer literacy,computer science internships,software development,turing architecture,computerphile face recognition,computer science ranking,software facebook,numberphile youtube,computers for dummies,hardware resources,numberphile klein bottle,computer science scholarships,science hub,science citation index,science kombat,software update,computer accessories,numberphile greentext,programming course,computers at walmart,software quality assurance,hardware restoration,computer science salary,computerphile password cracking,computer science jobs,computerphile buffer overflow,computers lyrics,computerphile jpeg,computershare/investor,computerphile floating point,numberphile circles,computerphile sql injection,mathematics as an interdisciplinary field of study,